@InProceedings{KNS01a,
author={M. Kwiatkowska and G. Norman and R. Segala},
title={Automated Verification of a Randomized Distributed Consensus Protocol Using {Cadence SMV} and {PRISM}},
booktitle={Proc. 13th International Conference on Computer Aided Verification (CAV'01)},
year={2001},

editor={G. Berry and H. Comon and A. Finkel},
pages={194--206},
organization={},
publisher={Springer},
series={LNCS},
volume={2102},
address={},
_month={July},
note={},
key={}
}