Synthesizing Finite-state Protocols from Scenarios and Requirements

Rajeev Alur, Milo M.K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

16 Citations (Scopus)
Original languageEnglish
Title of host publicationHaifa Verification Conference 2014: Haifa, Israel
EditorsEran Yahav
Pages75-91
ISBN (Electronic)978-3-319-13338-6
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication

Cite this