Modeling and Verifying a Bounded Retransmission Protocol

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

    Research output: Book/Report › Report › Professional

    Original languageEnglish
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages14
    Publication statusPublished - 1996

    Publication series

    NameCTIT Technical Report Series
    PublisherCTIT, University of Twente
    No.96-22
    ISSN (Print)1381-3625
    • 1 Conference contribution

    • Modeling and Verifying a Bounded Retransmission Protocol

      d' Argenio, P. R., Katoen, J.-P., Tretmans, G. J. & Ruys, T. C., 18 Nov 1996, Proceedings of COST 247 Workshop on Applied Formal Methods in System Design. Maribor, Slovenia: University of Maribor, p. 114-127 15 p.

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

      Open Access
      File

    Cite this