TY  - DATA
AU  - Asarin,Eugene
AU  - Bouyer,Patricia
ED  - SpringerLink (Online service)
TI  - Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783540450313
AV  - QA76.9.C65 A83 2006
PY  - 2006///
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/11867340
ER  -