KumarI97'

BibTeX

@inproceedings{DBLP:conf/compsac/KumarI97,
  author    = {Devendra Kumar and
               S. Sitharama Iyengar},
  title     = {A Semiformal Correctness Proof of a Network Broadcast Algorithm},
  booktitle = {COMPSAC},
  year      = {1997},
  pages     = {668-},
  ee        = {http://computer.org/proceedings/compsac/8105/81050668abs.htm},
  crossref  = {DBLP:conf/compsac/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/compsac/1997,
  title     = {21st International Computer Software and Applications Conference
               (COMPSAC '97), 11-15 August 1997, Washington, DC, USA},
  booktitle = {COMPSAC},
  publisher = {IEEE Computer Society},
  year      = {1997},
  isbn      = {0-8186-8105-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}