Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics Platzer, André Heftet / 2014 / Engelsk
Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics Platzer, André Innbundet / 2010 / Engelsk
Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings Platzer, André Heftet / 2021 / Engelsk
Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings Meyer Roland Heftet / 2015 / Engelsk
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I Platzer, André Heftet / 2024 / Engelsk
