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]
@inproceedings{KwiatkowskaNP02:1,
title = {PRISM: Probabilistic Symbolic Model Checker},
author = {Marta Z. Kwiatkowska and Gethin J. Norman and David Parker},
year = {2002},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2324&spage=0200},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/KwiatkowskaNP02%3A1},
cites = {0},
citedby = {0},
pages = {200-204},
booktitle = {Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings},
editor = {Tony Field and Peter G. Harrison and Jeremy T. Bradley and Uli Harder},
volume = {2324},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43539-5},
}