TY  - RPRT
TI  - Modeling and Efficient Verification of Wireless Ad hoc Networks
AU  - Behnaz Yousefi
AU  - Fatemeh Ghassemi
AU  - Ramtin Khosravi
PY  - 2017
UR  - https://arxiv.org/abs/1604.07179
ID  - 1604.07179
ER  -