TY  - RPRT
TI  - Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms
AU  - Annu John
AU  - Igor Konnov
AU  - Ulrich Schmid
AU  - Helmut Veith
AU  - Josef Widder
PY  - 2013
UR  - https://arxiv.org/abs/1210.3846
ID  - 1210.3846
ER  -