Formal verification of the binary exponential backoff protocol

autor
Hooman, Jozef
vastutusandmed
Jozef Hooman
ajakirja aastakäik number kuu
Vol. 4
ilmumisaasta
leheküljed
2, p. 89-105
ISSN
1406-0175
märkused
Bibl. 15 ref
retsensioon
Kokkuvõte: Binaar-eksponentsiaalse tagasivõtmisprotokolli formaalne verifitseerimine
keel
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.