The bounded retransmission protocol revisited (Extended abstract)

D.R. Dams; R.T. Gerth

doi:10.1016/S1571-0661(05)80425-6

The bounded retransmission protocol revisited (Extended abstract)

D.R. Dams, R.T. Gerth

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings Infinity'97 (Second International Workshop on Verification of Infinite State Systems, Bologna, Italy, July 11-12, 1997)
Editors	F. Moller
Pages	26-
DOIs	https://doi.org/10.1016/S1571-0661(05)80425-6
Publication status	Published - 1997

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	9
ISSN (Print)	1571-0061

Access to Document

10.1016/S1571-0661(05)80425-6

Cite this

Dams, D. R., & Gerth, R. T. (1997). The bounded retransmission protocol revisited (Extended abstract). In F. Moller (Ed.), Proceedings Infinity'97 (Second International Workshop on Verification of Infinite State Systems, Bologna, Italy, July 11-12, 1997) (pp. 26-). (Electronic Notes in Theoretical Computer Science; Vol. 9). https://doi.org/10.1016/S1571-0661(05)80425-6

@inproceedings{bd2907ef3a094fe0aa48619bd08edc7d,

title = "The bounded retransmission protocol revisited (Extended abstract)",

author = "D.R. Dams and R.T. Gerth",

year = "1997",

doi = "10.1016/S1571-0661(05)80425-6",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "26--",

editor = "F. Moller",

booktitle = "Proceedings Infinity'97 (Second International Workshop on Verification of Infinite State Systems, Bologna, Italy, July 11-12, 1997)",

}

The bounded retransmission protocol revisited (Extended abstract). / Dams, D.R.; Gerth, R.T.

Proceedings Infinity'97 (Second International Workshop on Verification of Infinite State Systems, Bologna, Italy, July 11-12, 1997). ed. / F. Moller. 1997. p. 26- (Electronic Notes in Theoretical Computer Science; Vol. 9).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - The bounded retransmission protocol revisited (Extended abstract)

AU - Dams, D.R.

AU - Gerth, R.T.

PY - 1997

Y1 - 1997

U2 - 10.1016/S1571-0661(05)80425-6

DO - 10.1016/S1571-0661(05)80425-6

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 26-

BT - Proceedings Infinity'97 (Second International Workshop on Verification of Infinite State Systems, Bologna, Italy, July 11-12, 1997)

A2 - Moller, F.

ER -