Loop freedom of the (untimed) AODV routing protocol.

Timothy Bourke Peter Höfner

Published in: Arch. Formal Proofs (2014)

Keyphrases

aodv routing protocol
message overhead
ad hoc networks
petri net
mobile ad hoc networks
wireless sensor networks
routing protocol
urban areas
real time
sensor networks
routing algorithm