@InProceedings{KNP04d,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={{PRISM} 2.0: A Tool for Probabilistic Model Checking},
booktitle={Proc. 1st International Conference on Quantitative Evaluation of Systems (QEST'04)},
year={2004},

editor={},
pages={322--323},
organization={},
publisher={IEEE Computer Society Press},
series={},
volume={},
address={},
month={},
note={},
key={}
}