Modeling and Verifying a Bounded Retransmission Protocol

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

    Research output: Book/ReportReportProfessional

    Filter
    Conference contribution

    Search results

    • 1996

      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 proceedingConference contributionAcademicpeer-review

      Open Access
      File
      40 Downloads (Pure)