Formal verification of standards for distance vector routing protocols (bibtex)
by Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gunter
Reference:
Formal verification of standards for distance vector routing protocols (Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gunter), In Journal of the ACM (JACM), volume 49, 2002.
Bibtex Entry:
@string{jacm="Journal of the ACM (JACM)"}
@article{DBLP:journals/jacm/BhargavanOG02,
  author    = {Karthikeyan Bhargavan and
               Davor Obradovic and
               Carl A. Gunter},
  title     = {Formal verification of standards for distance vector routing
               protocols},
  journal   = jacm,
  volume    = {49},
  number    = {4},
  year      = {2002},
  pages     = {538-576},
url="pubs/formal-verification-of-distance-vector-jacm02.pdf",
pdf="pubs/formal-verification-of-distance-vector-jacm02.pdf",
}