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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Proceedings Infinity'97 (Second International Workshop on Verification of Infinite State Systems, Bologna, Italy, July 11-12, 1997)
Redacteuren	F. Moller
Pagina's	26-
DOI's	https://doi.org/10.1016/S1571-0661(05)80425-6
Status	Gepubliceerd - 1997

Publicatie series

Naam	Electronic Notes in Theoretical Computer Science
Volume	9
ISSN van geprinte versie	1571-0061

Toegang tot document

10.1016/S1571-0661(05)80425-6

Citeer dit

Dams, D. R., & Gerth, R. T. (1997). The bounded retransmission protocol revisited (Extended abstract). In F. Moller (editor), Proceedings Infinity'97 (Second International Workshop on Verification of Infinite State Systems, Bologna, Italy, July 11-12, 1997) (blz. 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). redactie / F. Moller. 1997. blz. 26- (Electronic Notes in Theoretical Computer Science; Vol. 9).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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 -