Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess
Compositional Parameter Synthesis
FM, 2016.
@inproceedings{FM-2016-AstefanoaeiBBCR,
author = "Lacramioara Astefanoaei and Saddek Bensalem and Marius Bozga and Chih-Hong Cheng and Harald Ruess",
booktitle = "{Proceedings of the 21st International Symposium of Formal Methods}",
doi = "10.1007/978-3-319-48989-6_4",
isbn = "978-3-319-48988-9",
pages = "60--68",
title = "{Compositional Parameter Synthesis}",
year = 2016,
}