Timothy Bourke, Robert J. van Glabbeek, Peter Höfner. A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol.
ATVA 2014: Automated Technology for Verification and Analysis, Nov 2014, Sydney, Australia. pp.17,
⟨10.1007/978-3-319-11936-6_5⟩.
⟨hal-01092360⟩