Anca Muscholl. Automated Synthesis: a Distributed Viewpoint. In Satya V. Lokam, R. Ramanujam, editors, 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India. Volume 93 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]
@inproceedings{Muscholl17-0,
title = {Automated Synthesis: a Distributed Viewpoint},
author = {Anca Muscholl},
year = {2017},
doi = {10.4230/LIPIcs.FSTTCS.2017.3},
url = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2017.3},
researchr = {https://researchr.org/publication/Muscholl17-0},
cites = {0},
citedby = {0},
booktitle = {37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India},
editor = {Satya V. Lokam and R. Ramanujam},
volume = {93},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-055-2},
}