Publikationen
Liste als BibTeX-Datei exportieren
- A Compositional Approach to the Verification of Hybrid Systems In Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, Seiten 88–103, 2016. Details URL DOI BIB
- Compositional Parameter Synthesis In FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, Seiten 60–68, 2016. Details DOI BIB