12th VECoS 2018: Grenoble, France

Invited Papers

Distributed Systems and Protocols

Testing and Fault Detection

Model Checking and State-Space Exploration

Stochastic and Probabilistic Systems

maintained by Schloss Dagstuhl LZI, founded at University of Trier