QEST 2014: Florence, Italy

Keynote Presentations

Kronecker and Product Form Methods

Hybrid Systems

Mean Field/Population Analysis

Models and Tools


Queueing, Debugging and Tools

Process Algebra and Equivalences

Automata and Markov Process Theory

Applications, Theory and Tools

Probabilistic Model Checking

maintained by Schloss Dagstuhl LZI, founded at University of Trier