Formal Verification of Standards for Distance Vector Routing Protocols
Karthikeyan Bhargavan, Davor Obradovic and Carl A. Gunter
Journal of the ACM, volume 49, number 4, pages 538-576, July 2002.
Last updated on Thursday, June 26, 2014, 12:48 pm
Formal Verification of Standards for Distance Vector Routing Protocols
Karthikeyan Bhargavan, Davor Obradovic and Carl A. Gunter
Journal of the ACM, volume 49, number 4, pages 538-576, July 2002.
Last updated on Thursday, June 26, 2014, 12:48 pm