@article{KNP04b,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={Probabilistic Symbolic Model Checking with {PRISM}: A Hybrid Approach},
journal={International Journal on Software Tools for Technology Transfer (STTT)},
year={2004},

volume={6},
number={2},
pages={128--142},
month={},
note={},
key={}
}