@InProceedings{ZPK05b,
author={Y. Zhang and D. Parker and M. Kwiatkowska},
title={Grid-enabled Probabilistic Model Checking with {PRISM}},
booktitle={Proc. 4th All Hands Meeting Workshop (AHM'05)},
year={2005},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}