AODV

swMATH29232MaRDI QIDQ40946FDOQ40946

Author name not available (Why is that?)

Described by source

• A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol

Cited In (3)

• Mechanizing a process algebra for network protocols
• Modelling and verifying the AODV routing protocol
• Model checking mobile ad hoc networks

This page was built for software: AODV