The bounded retransmission protocol revisited (Extended abstract)

D.R. Dams, R.T. Gerth

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings Infinity'97 (Second International Workshop on Verification of Infinite State Systems, Bologna, Italy, July 11-12, 1997)
EditorsF. Moller
Pages26-
DOIs
Publication statusPublished - 1997

Publication series

NameElectronic Notes in Theoretical Computer Science
Volume9
ISSN (Print)1571-0061

Cite this