Filters: Author is Jan Tretmans [Clear All Filters]
“The Bounded Retransmission Protocol Must Be on Time!”, in Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings, 1997, vol. 1217, pp. 416-431. paper-216.pdf (1003.61 KB)
, “The bounded retransmission protocol must be on time! (Full version)”, University of Twente, 97-03, 1997. paper-212.pdf (654.77 KB)
, “Modeling and verifying a bounded retransmission protocol”, in Proc. of COST 247 International Workshop on Applied Formal Methods in System Design, {\rm Maribor, Slovenia}, 1996. paper-219.pdf (351.06 KB)
,