TY  - RPRT
TI  - Distributed Graph Automata and Verification of Distributed Algorithms
AU  - Fabian Reiter
PY  - 2014
DO  - 10.1109/lics.2015.27
UR  - https://arxiv.org/abs/1408.3030
ID  - 1408.3030
ER  -