The Bounded Retransmission Protocol Must Be on Time!

P.R. d' Argenio, Joost P. Katoen, G.J. Tretmans, T.C. Ruys

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

    Original languageUndefined
    Title of host publicationThird International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97), Lecture Notes in Computer Science 1217, Springer Verlag
    Place of PublicationUniversity of Twente, Enschede
    Pages416-431
    Number of pages16
    Publication statusPublished - 2 Apr 1997

    Keywords

    • METIS-120059

    Cite this