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

by Karthikeyan Bhargavan, Davor Obradovic, Carl A Gunter
Venue:J. ACM