18th ACSD 2018: Bratislava, Slovakia

State-Space Construction and Reachability

Time

Process Models

Fault, Suspicion and Concurrency!

System Design

a service of Schloss Dagstuhl - Leibniz Center for Informatics