Marta Z. Kwiatkowska, Gethin J. Norman, David Parker. Stochastic Model Checking. In Marco Bernardo, Jane Hillston, editors, Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures. Volume 4486 of Lecture Notes in Computer Science, pages 220-270, Springer, 2007. [doi]
Abstract is missing.