![](/img/cover-not-exists.png)
Automatic Synthesis of Distributed Protocols
Alur, Rajeev, Tripakis, StavrosVolume:
48
Language:
english
Journal:
ACM SIGACT News
DOI:
10.1145/3061640.3061652
Date:
March, 2017
File:
PDF, 1.10 MB
english, 2017