13th ACSD 2013: Barcelona, Spain

Abstracts of Invited Talks

Synthesis and Refinement

Model Checking and Timing Analysis

Verification

Petri Nets

Petri Nets and Applications

Programming

Modeling

Timed Automata and Embedded Systems

a service of Schloss Dagstuhl - Leibniz Center for Informatics