TY  - RPRT
TI  - A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms
AU  - Igor Konnov
AU  - Marijana Lazic
AU  - Helmut Veith
AU  - Josef Widder
PY  - 2016
DO  - 10.1145/3009837.3009860
UR  - https://arxiv.org/abs/1608.05327
ID  - 1608.05327
ER  -