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