Formal verification of the binary exponential backoff protocol
Hooman, Jozef
Proceedings of the Estonian Academy of Sciences. Engineering
1998
/
2, p. 89-105