Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures (Lecture Notes in Computer Science, Band 8453)

Stochastic

von: Anne Remke · Mariëlle Stoelinga

Taschenbuch

ISBN-13: 978-3-662-45488-6

ISBN-10: 3-662-45488-2

Springer · 2014