BibTeX record conf/pstv/AlaettinogluS92

download as .bib file

@inproceedings{DBLP:conf/pstv/AlaettinogluS92,
  author    = {Cengiz Alaettinoglu and
               A. Udaya Shankar},
  editor    = {Richard J. Linn Jr. and
               M. {\"{U}}mit Uyar},
  title     = {Stepwise Assertional Design of Distance-Vector Routing Algorithms},
  booktitle = {Protocol Specification, Testing and Verification XII, Proceedings
               of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
               Specification, Testing and Verification, Lake Buena Vista, Florida,
               USA, 22-25 June 1992},
  series    = {{IFIP} Transactions},
  volume    = {{C-8}},
  pages     = {399--413},
  publisher = {North-Holland},
  year      = {1992},
  timestamp = {Thu, 03 Jan 2002 12:07:47 +0100},
  biburl    = {https://dblp.org/rec/conf/pstv/AlaettinogluS92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics