| Title | Synthesizing Finite-State Protocols from Scenarios and Requirements |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa |
| Conference Name | Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings |
| Keywords | 1329759 |
| URL | https://doi.org/10.1007/978-3-319-13338-6_7 |
| DOI | 10.1007/978-3-319-13338-6_7 |
| Citation Key | DBLP:conf/hvc/AlurMRSTU14 |
Synthesizing Finite-State Protocols from Scenarios and Requirements