%0 Journal Article %1 journals/corr/abs-1210-3846 %A John, Annu %A Konnov, Igor %A Schmid, Ulrich %A Veith, Helmut %A Widder, Josef %D 2012 %J CoRR %K dblp %T Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms %U http://dblp.uni-trier.de/db/journals/corr/corr1210.html#abs-1210-3846 %V abs/1210.3846

@article{journals/corr/abs-1210-3846, added-at = {2018-08-13T00:00:00.000+0200}, author = {John, Annu and Konnov, Igor and Schmid, Ulrich and Veith, Helmut and Widder, Josef}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b15332094f38e4a07611f7a916d53928/dblp}, ee = {http://arxiv.org/abs/1210.3846}, interhash = {de36cb6396bf9723dfb7d4376f160d02}, intrahash = {b15332094f38e4a07611f7a916d53928}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T09:28:51.000+0200}, title = {Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1210.html#abs-1210-3846}, volume = {abs/1210.3846}, year = 2012 }