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}
}