Specification and Verification of a Dynamic Leader Election Protocol in a Broadcast Network

Jacob J. Brunekreef, Joost P. Katoen, Ron L.C. Koymans, Sjouke Mauw

Research output: Book/Report › Report › Academic

Name	Memorandum TIOS
Publisher	University of Twente, Tele-Informatics and Open Systems Group
No.	93-03

Cite this

@book{9e3604cd49894dfc81e77d55f20593da,

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

language = "English",

series = "Memoranda Informatica",

publisher = "University of Twente",

number = "93-05",

address = "Netherlands",

}

TY - BOOK

T1 - Specification and Verification of a Dynamic Leader Election Protocol in a Broadcast Network

AU - Brunekreef, Jacob J.

AU - Katoen, Joost P.

AU - Koymans, Ron L.C.

AU - Mauw, Sjouke

PY - 1993

Y1 - 1993

M3 - Report

T3 - Memoranda Informatica

BT - Specification and Verification of a Dynamic Leader Election Protocol in a Broadcast Network

PB - University of Twente

CY - Enschede

ER -