@techreport{1997-Devillers-ProtocolElection, author = "{Devillers}, M.C.A. and {Griffioen}, W.O.D. and {Romijn}, J.M.T. and {Vaandrager}, F.W.", title = "{Verification of a Leader Election Protocol}", number = "CSI--R9728", month = "December", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "1997", code = "icis.CSI-R9728", research_group = "ita", class = "Report" }