TY  - BOOK
AU  - FORMATS 2006
AU  - Asarin,Eugene
AU  - Bouyer,Patricia
TI  - Formal modeling and analysis of timed systems: 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings 
SN  - 3540450262
PY  - 2006///
CY  - Berlin
PB  - Springer
KW  - Computer simulation
KW  - Congresses
KW  - Temporal automata
KW  - Formal methods (Computer science)
ER  -