@inproceedings{DBLP:conf/fm/2016, author = {Lacramioara Astefanoaei, and Bozga, Marius and Bensalem, Saddek and Cheng, Chih-Hong and Rue{\ss}, Harald}, title = {Compositional Parameter Synthesis}, booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings}, pages = {60--68}, year = {2016}, doi = {10.1007/978-3-319-48989-6_4}, }