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

    Research output: Contribution to conferencePosterOther research output

    Original languageEnglish
    Publication statusPublished - 9 Mar 1993
    EventWorkshop on Protocol Verification 1993 - Mierlo, Netherlands
    Duration: 10 Mar 199210 Mar 1992

    Workshop

    WorkshopWorkshop on Protocol Verification 1993
    CountryNetherlands
    CityMierlo
    Period10/03/9210/03/92

    Cite this