TY  - DATA
AU  - Pettersson,Paul
AU  - Yi,Wang
ED  - SpringerLink (Online service)
TI  - Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783540316169
AV  -  QA76.9.C65 
PY  - 2005///
CY  - Berlin, Heidelberg
PB  - Springer-Verlag Berlin Heidelberg
KW  - Simulación por computador
KW  - Congresos
KW  - Autómata temporal
KW  - Método formal (Informática)
UR  - http://dx.doi.org/10.1007/11603009
ER  -