dblp.uni-trier.de www.uni-trier.de

6. FORMATS 2008: Saint Malo, France

Franck Cassez, Claude Jard (Eds.): Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings. Lecture Notes in Computer Science 5215 Springer 2008, ISBN 978-3-540-85777-8 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Talks

Extensions of Timed Automata and Semantics

Timed Games and Logic

Case Studies

Model-Checking of Probabilistic Systems

Verification and Test

Time Petri Nets

Copyright © Mon Nov 2 20:36:49 2009 by Michael Ley (ley@uni-trier.de)