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

J. Brunekreef, Joost P. Katoen, R. Koymans, S. Mauw

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationParticipants Proceedings 2nd International Workshop on Protocol Verification
    Place of PublicationTU Eindhoven
    Pages-
    Number of pages16
    Publication statusPublished - 1 Mar 1993

    Keywords

    • METIS-120020

    Cite this

    Brunekreef, J., Katoen, J. P., Koymans, R., & Mauw, S. (1993). Specification and Verification of a Dynamic Leader Election Protocol in a Broadcast Network. In Participants Proceedings 2nd International Workshop on Protocol Verification (pp. -). TU Eindhoven.
    Brunekreef, J. ; Katoen, Joost P. ; Koymans, R. ; Mauw, S. / Specification and Verification of a Dynamic Leader Election Protocol in a Broadcast Network. Participants Proceedings 2nd International Workshop on Protocol Verification. TU Eindhoven, 1993. pp. -
    @inproceedings{023453c219024af4b2243d1cbd6a6d51,
    title = "Specification and Verification of a Dynamic Leader Election Protocol in a Broadcast Network",
    keywords = "METIS-120020",
    author = "J. Brunekreef and Katoen, {Joost P.} and R. Koymans and S. Mauw",
    year = "1993",
    month = "3",
    day = "1",
    language = "Undefined",
    pages = "--",
    booktitle = "Participants Proceedings 2nd International Workshop on Protocol Verification",

    }

    Brunekreef, J, Katoen, JP, Koymans, R & Mauw, S 1993, Specification and Verification of a Dynamic Leader Election Protocol in a Broadcast Network. in Participants Proceedings 2nd International Workshop on Protocol Verification. TU Eindhoven, pp. -.

    Specification and Verification of a Dynamic Leader Election Protocol in a Broadcast Network. / Brunekreef, J.; Katoen, Joost P.; Koymans, R.; Mauw, S.

    Participants Proceedings 2nd International Workshop on Protocol Verification. TU Eindhoven, 1993. p. -.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

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

    AU - Brunekreef, J.

    AU - Katoen, Joost P.

    AU - Koymans, R.

    AU - Mauw, S.

    PY - 1993/3/1

    Y1 - 1993/3/1

    KW - METIS-120020

    M3 - Conference contribution

    SP - -

    BT - Participants Proceedings 2nd International Workshop on Protocol Verification

    CY - TU Eindhoven

    ER -

    Brunekreef J, Katoen JP, Koymans R, Mauw S. Specification and Verification of a Dynamic Leader Election Protocol in a Broadcast Network. In Participants Proceedings 2nd International Workshop on Protocol Verification. TU Eindhoven. 1993. p. -