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 proceeding › Conference contribution › Scientific › peer-review

16 Citations (Scopus)

Original language	English
Title of host publication	Haifa Verification Conference 2014: Haifa, Israel
Editors	Eran Yahav
Pages	75-91
ISBN (Electronic)	978-3-319-13338-6
Publication status	Published - 2015
MoE publication type	A4 Article in a conference publication

Access to Document

@inproceedings{e82fbf1524cc48c49c8b8f674e80927e,

title = "Synthesizing Finite-state Protocols from Scenarios and Requirements",

author = "Rajeev Alur and Martin, {Milo M.K.} and Mukund Raghothaman and Christos Stergiou and Stavros Tripakis and Abhishek Udupa",

note = "VK: Tripakis, S.",

year = "2015",

language = "English",

isbn = "978-3-319-13337-9",

pages = "75--91",

editor = "Eran Yahav",

booktitle = "Haifa Verification Conference 2014: Haifa, Israel",

}

Synthesizing Finite-state Protocols from Scenarios and Requirements. / Alur, Rajeev; Martin, Milo M.K.; Raghothaman, Mukund; Stergiou, Christos; Tripakis, Stavros; Udupa, Abhishek.

Haifa Verification Conference 2014: Haifa, Israel. ed. / Eran Yahav. 2015. p. 75-91.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Synthesizing Finite-state Protocols from Scenarios and Requirements

AU - Alur, Rajeev

AU - Martin, Milo M.K.

AU - Raghothaman, Mukund

AU - Stergiou, Christos

AU - Tripakis, Stavros

AU - Udupa, Abhishek

N1 - VK: Tripakis, S.

PY - 2015

Y1 - 2015

UR - http://dx.doi.org/10.1007/978-3-319-13338-6_7

M3 - Conference contribution

SN - 978-3-319-13337-9

SP - 75

EP - 91

BT - Haifa Verification Conference 2014: Haifa, Israel

A2 - Yahav, Eran

ER -