TY  - RPRT
TI  - A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks
AU  - Zhe Chen
AU  - Daqiang Zhang
AU  - Rongbo Zhu
AU  - Yinxue Ma
AU  - Ping Yin
AU  - Feng Xie
PY  - 2014
DO  - 10.1166/sl.2013.2653
UR  - https://arxiv.org/abs/1305.7410
ID  - 1305.7410
ER  -