Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems : International Autumn School, Rocks 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures /
Remke, Anne.,Stoelinga, Marie？lle..,.
