Modelling and Verifying a Bounded Retransmission Protocol

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

    Research output: Book/ReportReportProfessional

    Original languageUndefined
    Place of PublicationUniversity of Twente, Enschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages14
    Publication statusPublished - 1996

    Keywords

    • METIS-119141

    Cite this