The Bounded Retransmission Protocol must be on time!

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

    Research output: Book/ReportReportProfessional

    62 Citations (Scopus)
    69 Downloads (Pure)
    Conference contribution

    Search results

    • 1997

      The bounded retransmission protocol must be on time!

      d' Argenio, P. R., Katoen, J-P., Ruys, T. C. & Tretmans, J., 1997, Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings. Brinksma, E. (ed.). Berlin: Springer, p. 416-431 16 p.

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

      Open Access
      33 Downloads (Pure)