Joel Greenyer, Ekkart Kindler. Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications. In Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter J. Clarke, editors, Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings. Volume 8107 of Lecture Notes in Computer Science, pages 774-789, Springer, 2013. [doi]
@inproceedings{GreenyerK13,
title = {Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications},
author = {Joel Greenyer and Ekkart Kindler},
year = {2013},
doi = {10.1007/978-3-642-41533-3_47},
url = {http://dx.doi.org/10.1007/978-3-642-41533-3_47},
researchr = {https://researchr.org/publication/GreenyerK13},
cites = {0},
citedby = {0},
pages = {774-789},
booktitle = {Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings},
editor = {Ana Moreira and Bernhard Schätz and Jeff Gray and Antonio Vallecillo and Peter J. Clarke},
volume = {8107},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-41532-6},
}