prindi

Formal verification of the binary exponential backoff protocol

autor
Hooman, Jozef
vastutusandmed
Jozef Hooman
allikas
Proceedings of the Estonian Academy of Sciences. Engineering
ajakirja aastakäik number kuu
Vol. 4
ilmumisaasta
1998
leheküljed
2, p. 89-105
märksõna
protokollid
verifikatsioon
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.