Marta Z. Kwiatkowska, Gethin J. Norman, David Parker. PRISM: Probabilistic Symbolic Model Checker. In Tony Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder, editors, Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings. Volume 2324 of Lecture Notes in Computer Science, pages 200-204, Springer, 2002. [doi]
Abstract is missing.