Publications
Export list as BibTeX file
- 2016A Compositional Approach to the Verification of Hybrid Systems Lacramioara Astefanoaei, Saddek Bensalem and Marius Bozga
In
Theory and Practice of Formal Methods - Essays Dedicated to Frank
de Boer on the Occasion of His 60th Birthday,
pages 88–103,
DetailsURLDOIBIB
- 2016Compositional Parameter Synthesis Lacramioara Astefanoaei, Marius Bozga, Saddek Bensalem, Chih-Hong Cheng and Harald Rueß
In
FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings,
pages 60–68,
DetailsDOIBIB