TY  - RPRT
TI  - Detecting Unrealizability of Distributed Fault-tolerant Systems
AU  - Bernd Finkbeiner
AU  - Leander Tentrup
PY  - 2015
DO  - 10.2168/lmcs-11(3:12)2015
UR  - https://arxiv.org/abs/1505.06862
ID  - 1505.06862
ER  -