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