The bounded retransmission protocol must be on time!

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/bfb0035403 ◽

1997 ◽

pp. 416-431 ◽

Author(s):

P. R. D'Argenio ◽

J. -P. Katoen ◽

T. C. Ruys ◽

J. Tretmans

Download Full-text