6. FORMATS 2008: Saint Malo, France

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