@misc{indiciae20f872c22005,
  title = {Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms},
  author = {Annu John and Igor Konnov and Ulrich Schmid and Helmut Veith and Josef Widder},
  year = {2013},
  url = {https://arxiv.org/abs/1210.3846},
  note = {Source identifier: 1210.3846}
}