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