3. FORMATS 2005: Uppsala, Sweden

Invited Talk

Logic and Specification

Times Games and Synthesis

Invited Talk

Model Checking

Invited Talk

Hybrid Systems

Petri Nets

Semantics

Semantics and Modelling

a service of Schloss Dagstuhl - Leibniz Center for Informatics