TY  - BOOK
AU  - Chatterjee,Krishnendu
AU  - Henzinger,T.A.
ED  - FORMATS 2010
TI  - Formal modeling and analysis of timed systems: 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings 
T2  - Lecture notes in computer science,
SN  - 9783642152962 (pbk.)
AV  - QA76.9.C65 F676 2010
U1  - 004.01/51 23
PY  - 2010///
CY  - Berlin, New York
PB  - Springer
KW  - Computer simulation
KW  - Congresses
KW  - Temporal automata
KW  - Formal methods (Computer science)
N1  - Includes bibliographical references and index; Also issued online
UR  - https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/978-3-642-15297-9
ER  -