@inproceedings{023453c219024af4b2243d1cbd6a6d51,
title = "Specification and Verification of a Dynamic Leader Election Protocol in a Broadcast Network",
author = "Brunekreef, \{Jacob J.\} and Katoen, \{Joost P.\} and Koymans, \{Ron L.C.\} and Sjouke Mauw",
year = "1993",
month = mar,
day = "1",
language = "English",
booktitle = "Participants Proceedings 2nd International Workshop on Protocol Verification 1993",
publisher = "Eindhoven University of Technology",
address = "Netherlands",
note = "Workshop on Protocol Verification 1993 ; Conference date: 10-03-1992 Through 10-03-1992",
}