Specification, Design and Verification of Dynamic Leader Election Protocols in a Broadcast Network

Joost P. Katoen

    Research output: Other contribution › Other research output

    Original languageEnglish
    Place of PublicationDe Lutte, Nederland
    Publication statusPublished - 18 Oct 1993

    Keywords

    • METIS-123773

    Cite this