| Original language | Undefined |
|---|---|
| Title of host publication | Third 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 Publication | University of Twente, Enschede |
| Pages | 416-431 |
| Number of pages | 16 |
| Publication status | Published - 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.
@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 proceeding › Conference contribution › Academic › peer-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