Formal Modeling and Analysis of Timed Systems  5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007: Proceedings /  [electronic resource] : 
edited by Jean-Francois Raskin, P. S. Thiagarajan. 
 - Berlin, Heidelberg :  Springer-Verlag Berlin Heidelberg,  2007. 
 - x, 368 p. :  ill., digital ;  24 cm. 
 - Lecture Notes in Computer Science,  4763  0302-9743 ; .
<br/><br/><label>ISBN: </label>9783540754541 (electronic bk.) 9783540754534 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer simulation--Congresses.<br/>Temporal automata--Congresses.<br/>Formal methods (Computer science)--Congresses.<br/>Automata--Congresses.
<br/><br/><label>LC Class. No.: </label>QA76.9.C65  / .F66 2007 
<br/><br/><label>Dewey Class. No.: </label>003.3