@InProceedings{FP04,
author={W. Fokkink and J. Pang},
title={Simplifying {Itai-Rodeh} leader election for anonymous rings},
booktitle={Proc. 4th Workshop on Automated Verification of Critical Systems (AVoCS'04)},
year={2004},

editor={},
pages={53--68},
organization={},
publisher={Elsevier Science},
series={Electronic Notes in Theoretical Computer Science},
volume={128(6)},
address={},
month={},
note={},
key={}
}