Compositional Parameter Synthesis

Lacramioara Astefanoaei, Marius Bozga, Saddek Bensalem, Chih-Hong Cheng and Harald Rueß

FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 60–68

2016 · doi:10.1007/978-3-319-48989-6_4