The Bounded Retransmission Protocol must be on time!

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

    Research output: Book/Report › Report › Professional

    65 Citations (Scopus)
    106 Downloads (Pure)
    • 65 Citations
    • 1 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. (Lecture Notes in Computer Science; vol. 1217).

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

      Open Access
      File
      44 Downloads (Pure)