Formal verification of the binary exponential backoff protocol
author
Hooman, Jozef
statement of authorship
Jozef Hooman
journal volume number month
Vol. 4
year of publication
pages
2, p. 89-105
subject term
ISSN
1406-0175
notes
Bibl. 15 ref
review
Kokkuvõte: Binaar-eksponentsiaalse tagasivõtmisprotokolli formaalne verifitseerimine
language
inglise
Hooman, J. Formal verification of the binary exponential backoff protocol // Proceedings of the Estonian Academy of Sciences. Engineering (1998) Vol. 4, 2, p. 89-105.