16th ACSD 2016: Torun, Poland

Temporal Logics

Compositionality and Synthesis

Verification

System Design and Petri Nets

Hardware

a service of Schloss Dagstuhl - Leibniz Center for Informatics