Stochastic Model Checking
Subtitle: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Publisher: Springer London, Limited
Published: 2014
Language: eng
Number of pages: 281
ISBN-13: 9783662454893