Formal Veri cation of Distance Vector Routing Protocols (2000)

by K Bhargavan, D Obradovic, C Gunter
Venue:International Conference on Theorem Proving and Higher Order Logics