TY  - RPRT
TI  - An Automata-Theoretic Approach to the Verification of Distributed Algorithms
AU  - C. Aiswarya
AU  - Benedikt Bollig
AU  - Paul Gastin
PY  - 2015
UR  - https://arxiv.org/abs/1504.06534
ID  - 1504.06534
ER  -