Modelling and Verifying a Bounded Retransmission Protocol

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 publicationProceedings of COST 247 Workshop on Applied Formal Methods in System Design
    Place of PublicationUniversity of Maribor, Slovenia
    Number of pages15
    Publication statusPublished - 18 Nov 1996


    • METIS-120045

    Cite this