The Bounded Retransmission Protocol Must Be on Time!

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

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 proceeding › Conference contribution › Academic › peer-review

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

@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 = apr,

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",

}

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 -