TY  - RPRT
TI  - Synthesizing Finite-state Protocols from Scenarios and Requirements
AU  - Rajeev Alur
AU  - Milo Martin
AU  - Mukund Raghothaman
AU  - Christos Stergiou
AU  - Stavros Tripakis
AU  - Abhishek Udupa
PY  - 2014
UR  - https://arxiv.org/abs/1402.7150
ID  - 1402.7150
ER  -