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