@inproceedings{KNP00,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={Verifying Randomized Distributed Algorithms with {PRISM}},
booktitle={Proc. Workshop on Advances in Verification (Wave'2000)},
year={2000},

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