14th ACSD 2014: Tunis La Marsa, Tunisia

Logic and Model-Checking

Automata

Dataflow

Programming and Runtime Support

Unfolding and Tools

Interaction

a service of Schloss Dagstuhl - Leibniz Center for Informatics