Routing Information Protocol in HOL/SPIN (bibtex)
by Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic
Reference:
Routing Information Protocol in HOL/SPIN (Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic), In Theorem Proving in Higher-Order Logics (TPHOLs'00), 2000.
Bibtex Entry:
@inproceedings{DBLP:conf/tphol/BhargavanGO00,
  author    = {Karthikeyan Bhargavan and
               Carl A. Gunter and
               Davor Obradovic},
  title     = {Routing Information Protocol in HOL/SPIN},
  booktitle = {Theorem Proving in Higher-Order Logics (TPHOLs'00)},
  year      = {2000},
  pages     = {53-72},
url="pubs/rip-in-spin-hol-tphols00.pdf",
pdf="pubs/rip-in-spin-hol-tphols00.pdf",
}