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

maintained by Schloss Dagstuhl LZI, founded at University of Trier