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


    WorkshopWorkshop on Protocol Verification 1993

    Cite this