Formal verification of standards for distance vector routing protocols (2002)

by K Bhargavan, D Obradovic, C A Gunter
Venue:Journal of the ACM