@InProceedings{KNP02b,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={Probabilistic Symbolic Model Checking with {PRISM}: A Hybrid Approach},
booktitle={Proc. 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02)},
year={2002},

editor={J.-P. Katoen and P. Stevens},
pages={52--66},
organization={},
publisher={Springer},
series={LNCS},
volume={2280},
_address={Grenoble},
_month={April},
note={},
key={}
}