@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={} }