A randomized energy-conservation protocol for resilient sensor $networks^{*}$. (English)
Wirel. Netw. 12, No. 5, 637-652 (2006).
1
Designing bug-free protocols with SPIN. (English)
Comput. Commun. 20, No. 2, 97-105 (1997).
2
Designing bug-free protocols with SPIN. (English)
Comput. Commun. 20, No. 2, 97-105 (1997).
3
A Performance Study of the ISO Transport Protocol. (English)
IEEE Transactions on Computers 40, No.03, 253-262 (1991).
4