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: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageEnglish
    Title of host publicationParticipants Proceedings 2nd International Workshop on Protocol Verification 1993
    Place of PublicationEindhoven
    PublisherEindhoven University of Technology
    Number of pages16
    Publication statusPublished - 1 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