@InProceedings{KN02,
author={M. Kwiatkowska and G. Norman},
title={Verifying Randomized {Byzantine} Agreement},
booktitle={Proc. Formal Techniques for Networked and Distributed Systems (FORTE'02)},
year={2002},

editor={D. Peled and M. Vardi},
pages={194--209},
organization={},
publisher={Springer},
series={LNCS},
volume={2529},
month={},
note={},
key={}
}