Modeling and Efficient Verification of Wireless Ad hoc Networks.

Behnaz Yousefi Fatemeh Ghassemi Ramtin Khosravi

Published in: CoRR (2016)

Keyphrases

wireless ad hoc networks
end to end
ad hoc networks
wireless networks
wavelet transform
multi hop