loading

Logout succeed

Logout succeed. See you again!

ebook img

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 PDF

pages290 Pages
release year2014
file size6.695 MB
languageEnglish

The list of books you might like