Description
About this book
Stochastic Model Checking — International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures. An English-language digital edition by Anne Remke (Editor); Mariëlle Stoelinga (Editor), available in PDF.
Edition details
- Author / contributors: Anne Remke (Editor); Mariëlle Stoelinga (Editor)
- Publisher: Springer Berlin Heidelberg
- Publication date: November 03, 2014
- Language: English
- ISBNs: 9783662454886; 9783662454893
- Digital formats: PDF





Reviews
There are no reviews yet.