A Logic-Based Framework for Verifying Consensus Algorithms (bibtex)
by Cezara Dragoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien Zufferey
Reference:
A Logic-Based Framework for Verifying Consensus AlgorithmsCezara Dragoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien ZuffereyVMCAI, pages 161-181, 2014.
Bibtex Entry:
@inproceedings{DragoiHVWZ14,
title = {A Logic-Based Framework for Verifying Consensus Algorithms},
ee = {http://dx.doi.org/10.1007/978-3-642-54013-4_10},
booktitle = {VMCAI},
author = {Cezara Dragoi and Thomas A. Henzinger and Helmut Veith and Josef
Widder and Damien Zufferey},
url = {/pubpdf/A_Logic-Based_Framework_for_Verifying_Consensus_Algorithms.pdf},
year = {2014},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {161-181},
crossref = {DBLP:conf/vmcai/2014},
}
Powered by bibtexbrowser