![](/img/cover-not-exists.png)
Multi-scale verification of distributed synchronisation
Gainer, Paul, Linker, Sven, Dixon, Clare, Hustadt, Ullrich, Fisher, MichaelJournal:
Formal Methods in System Design
DOI:
10.1007/s10703-020-00347-z
Date:
September, 2020
File:
PDF, 963 KB
2020