TY  - RPRT
TI  - Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms
AU  - Annu John
AU  - Igor Konnov
AU  - Ulrich Schmid
AU  - Helmut Veith
AU  - Josef Widder
PY  - 2012
UR  - https://arxiv.org/abs/1210.3839
ID  - 1210.3839
ER  -