FORMATS 2006  Paris, France)  2006 : <br/><br/>
Formal modeling and analysis of timed systems :  4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings / 
Eugene Asarin, Patricia Bouyer (eds.) 
 - Berlin :  Springer,  2006 
 - 367 p. :  ill. ;  24 cm. 
 - Lecture notes in computer science;  4202 .
<br/><br/><label>ISBN: </label>3540450262 9783540450269 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer simulation--Congresses<br/>Temporal automata--Congresses<br/>Formal methods (Computer science)--Congresses