25 citations · 25 across the 1 of their papers we have counts for
1 paper
Zhe Chen, Daqiang Zhang, Rongbo Zhu +3
This paper surveys how formal verification can be used to prove the correctness of ad hoc routing protocols, which are fundamental infrastructure of wireless sensor networks. The e…