@InProceedings{KNP01,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={{PRISM}: Probabilistic Symbolic Model Checker},
booktitle={Proc. Tools Session of Aachen 2001 International Multiconference on Measurement, Modelling and Evaluation of Computer-Communication Systems},
year={2001},

editor={P. Kemper},
pages={7--12},
organization={},
publisher={},
address={},
month={September},
_note={Available as Technical Report 760/2001, University of Dortmund},
key={}
}