Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms (bibtex)
by Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Reference:
Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed AlgorithmsAnnu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef WidderArXiv e-prints, October 2012.
Bibtex Entry:
@article{2012arXiv1210.3847J2,
title = {Counter Attack on Byzantine Generals: Parameterized Model Checking
of Fault-tolerant Distributed Algorithms},
url = {http://arxiv.org/pdf/1210.3846},
journal = {ArXiv e-prints},
author = {{John}, Annu and {Konnov}, Igor and {Schmid}, Ulrich and {Veith}, Helmut and {Widder}, Josef},
month = {October},
link = {http://arxiv.org/abs/1210.3846},
year = {2012},
}
Powered by bibtexbrowser