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

3. FORMATS 2005: Uppsala, Sweden

Paul Pettersson, Wang Yi (Eds.): Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings. Lecture Notes in Computer Science 3829 Springer 2005, ISBN 3-540-30946-2 BibTeX

Invited Talk

Logic and Specification

Times Games and Synthesis

Invited Talk

Model Checking

Invited Talk

Hybrid Systems

Petri Nets


Semantics and Modelling

Copyright © Sat May 16 23:12:31 2009 by Michael Ley (ley@uni-trier.de)