PRISM: Probabilistic Symbolic Model Checker - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Marta Z. Kwiatkowska' in GoogleIdentified as Gethin J. Norman This author has not been identified. Look up 'David Parker' in Google

runs on WebDSL