Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems

ROCKS 2012: Vahrn, Italy

maintained by Schloss Dagstuhl LZI at University of Trier