The bounded retransmission protocol revisited (Extended abstract)

D.R. Dams, R.T. Gerth

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelProceedings Infinity'97 (Second International Workshop on Verification of Infinite State Systems, Bologna, Italy, July 11-12, 1997)
RedacteurenF. Moller
Pagina's26-
DOI's
StatusGepubliceerd - 1997

Publicatie series

NaamElectronic Notes in Theoretical Computer Science
Volume9
ISSN van geprinte versie1571-0061

Citeer dit