A Logic-based Framework for Verifying Consensus Algorithms (bibtex)
by Cezara Drăgoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien Zufferey
Reference:
A Logic-based Framework for Verifying Consensus AlgorithmsCezara Drăgoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien ZuffereyVMCAI, volume 8318 of LNCS, pages 161-181, 2014.
Bibtex Entry:
@inproceedings{DHVWZ14,
  author   = {Cezara {Drăgoi}
    and Thomas A.~Henzinger
    and Helmut Veith
    and Josef Widder
    and Damien Zufferey},
  title = {A Logic-based Framework for Verifying Consensus Algorithms} ,
  booktitle = {VMCAI},
  year = {2014},
 pages     = {161--181},
series    = {LNCS},
  volume    = {8318},
  url = {http://forsyte.at/wp-content/uploads/dragoi-vmcai14.pdf}
}
Powered by bibtexbrowser