TY  - RPRT
TI  - Multi-Scale Verification of Distributed Synchronisation
AU  - Paul Gainer
AU  - Sven Linker
AU  - Clare Dixon
AU  - Ullrich Hustadt
AU  - Michael Fisher
PY  - 2018
UR  - https://arxiv.org/abs/1809.10655
ID  - 1809.10655
ER  -