The Bounded Retransmission Protocol Must Be on Time!

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

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

Original languageUndefined
Title of host publicationThird International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97), Lecture Notes in Computer Science 1217, Springer Verlag
Place of PublicationUniversity of Twente, Enschede
Pages416-431
Number of pages16
Publication statusPublished - 2 Apr 1997

Keywords

  • METIS-120059

Cite this

d' Argenio, P. R., Katoen, J. P., Tretmans, G. J., & Ruys, T. C. (1997). The Bounded Retransmission Protocol Must Be on Time! In Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97), Lecture Notes in Computer Science 1217, Springer Verlag (pp. 416-431). University of Twente, Enschede.
d' Argenio, P.R. ; Katoen, Joost P. ; Tretmans, G.J. ; Ruys, T.C. / The Bounded Retransmission Protocol Must Be on Time!. Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97), Lecture Notes in Computer Science 1217, Springer Verlag. University of Twente, Enschede, 1997. pp. 416-431
@inproceedings{c76618d1b1dc46b490301755e3208d2b,
title = "The Bounded Retransmission Protocol Must Be on Time!",
keywords = "METIS-120059",
author = "{d' Argenio}, P.R. and Katoen, {Joost P.} and G.J. Tretmans and T.C. Ruys",
year = "1997",
month = "4",
day = "2",
language = "Undefined",
isbn = "3-540-62790-1",
pages = "416--431",
booktitle = "Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97), Lecture Notes in Computer Science 1217, Springer Verlag",

}

d' Argenio, PR, Katoen, JP, Tretmans, GJ & Ruys, TC 1997, The Bounded Retransmission Protocol Must Be on Time! in Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97), Lecture Notes in Computer Science 1217, Springer Verlag. University of Twente, Enschede, pp. 416-431.

The Bounded Retransmission Protocol Must Be on Time! / d' Argenio, P.R.; Katoen, Joost P.; Tretmans, G.J.; Ruys, T.C.

Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97), Lecture Notes in Computer Science 1217, Springer Verlag. University of Twente, Enschede, 1997. p. 416-431.

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

TY - GEN

T1 - The Bounded Retransmission Protocol Must Be on Time!

AU - d' Argenio, P.R.

AU - Katoen, Joost P.

AU - Tretmans, G.J.

AU - Ruys, T.C.

PY - 1997/4/2

Y1 - 1997/4/2

KW - METIS-120059

M3 - Conference contribution

SN - 3-540-62790-1

SP - 416

EP - 431

BT - Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97), Lecture Notes in Computer Science 1217, Springer Verlag

CY - University of Twente, Enschede

ER -

d' Argenio PR, Katoen JP, Tretmans GJ, Ruys TC. The Bounded Retransmission Protocol Must Be on Time! In Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97), Lecture Notes in Computer Science 1217, Springer Verlag. University of Twente, Enschede. 1997. p. 416-431