Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gunter. Formal verification of standards for distance vector routing protocols. Journal of the ACM, 49(4):538-576, 2002. [doi]
No references recorded for this publication.
No citations of this publication recorded.