@InProceedings{HKNP06,
author={A. Hinton and M. Kwiatkowska and G. Norman and D. Parker},
title={{PRISM}: A Tool for Automatic Verification of Probabilistic Systems},
booktitle={Proc. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06)},
year={2006},

editor={H. Hermanns and J. Palsberg},
pages={441-444},
organization={},
publisher={Springer},
series={LNCS},
volume={3920},
address={},
month={},
note={},
key={}
}