Automatic Synthesis of Distributed Protocols

Rajeev Alur, Stavros Tripakis

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
Pages (from-to)55-90
Number of pages36
JournalACM SIGACT News
Volume48
Issue number1
DOIs
Publication statusPublished - 2017
MoE publication typeA1 Journal article-refereed

Cite this