@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",
}