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