@inproceedings{DBLP:conf/forte/DaviesW94,
  title = "On the formal specification and verification of network routing algorithms",
  author = "Jim Davies and Matt Wallis",
  year = "1994",
  crossref = "DBLP:conf/forte/1994",
  pages = "100-115",
}