@misc{indiciae67eebb12c4aa,
  title = {A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks},
  author = {Zhe Chen and Daqiang Zhang and Rongbo Zhu and Yinxue Ma and Ping Yin and Feng Xie},
  year = {2014},
  doi = {10.1166/sl.2013.2653},
  url = {https://arxiv.org/abs/1305.7410},
  note = {Source identifier: 1305.7410}
}