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

Research output: Contribution to conference › Poster › Other research output

Original language	English
Publication status	Published - 9 Mar 1993
Event	Workshop on Protocol Verification 1993 - Mierlo, Netherlands Duration: 10 Mar 1992 → 10 Mar 1992

Workshop	Workshop on Protocol Verification 1993
Country/Territory	Netherlands
City	Mierlo
Period	10/03/92 → 10/03/92

Cite this