DBLP Record 'conf/icdcs/SchmidWR02'

BibTeX

@inproceedings{DBLP:conf/icdcs/SchmidWR02,
  author    = {Ulrich Schmid and
               Bettina Weiss and
               John M. Rushby},
  title     = {Formally Verified Byzantine Agreement in Presence of Link
               Faults},
  booktitle = {ICDCS},
  year      = {2002},
  pages     = {608-616},
  ee        = {http://computer.org/proceedings/icdcs/1585/15850608abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}