Formally Verified Byzantine Agreement in Presence of Link Faults - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Ulrich Schmid, Bettina Weiss, John M. Rushby. Formally Verified Byzantine Agreement in Presence of Link Faults. In ICDCS. pages 608-616, 2002. [doi]

@inproceedings{SchmidWR02,
  title = {Formally Verified Byzantine Agreement in Presence of Link Faults},
  author = {Ulrich Schmid and Bettina Weiss and John M. Rushby},
  year = {2002},
  url = {http://computer.org/proceedings/icdcs/1585/15850608abs.htm},
  researchr = {https://researchr.org/publication/SchmidWR02},
  cites = {0},
  citedby = {0},
  pages = {608-616},
  booktitle = {ICDCS},
}

runs on WebDSL