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]
@article{BhargavanOG02, title = {Formal verification of standards for distance vector routing protocols}, author = {Karthikeyan Bhargavan and Davor Obradovic and Carl A. Gunter}, year = {2002}, doi = {10.1145/581771.581775}, url = {http://doi.acm.org/10.1145/581771.581775}, tags = {protocol, routing}, researchr = {https://researchr.org/publication/BhargavanOG02}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {49}, number = {4}, pages = {538-576}, }