Equational Reasoning on Mobile Ad Hoc Networks.

Fatemeh Ghassemi Wan J. Fokkink Ali Movaghar

Published in: Fundam. Informaticae (2010)

Keyphrases

mobile ad hoc networks
routing protocol
multi hop
ad hoc networks
multipath
cross layer
network simulator
network topology
mobile networks
highly dynamic
mobile nodes
network connectivity
topology control
mobile devices
wavelet transform
end to end