Elsevier
Electronic Notes in Theoretical Computer Science
International Workshop on Automated Verification of Critical Systems
Software Analysis and Transformation

Fokkink, W., & Pang, J. (2005). Simplifying Itai-Rodeh leader election for anonymous rings. In Electronic Notes in Theoretical Computer Science (Vol. 128, pp. 53–68). Elsevier.