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

    Research output: Other contributionOther research output

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

    Keywords

    • METIS-123773

    Cite this

    @misc{9b29c7e3e3704e2494f87ffa172adc9d,
    title = "Specification, Design and Verification of Dynamic Leader Election Protocols in a Broadcast Network",
    keywords = "METIS-123773",
    author = "Katoen, {Joost P.}",
    year = "1993",
    month = "10",
    day = "18",
    language = "English",
    type = "Other",

    }

    Specification, Design and Verification of Dynamic Leader Election Protocols in a Broadcast Network. / Katoen, Joost P.

    De Lutte, Nederland. 1993, .

    Research output: Other contributionOther research output

    TY - GEN

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

    AU - Katoen, Joost P.

    PY - 1993/10/18

    Y1 - 1993/10/18

    KW - METIS-123773

    M3 - Other contribution

    CY - De Lutte, Nederland

    ER -