André Platzer profile picture

André Platzer

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
Logical Analysis Of Hybrid Systems Proving Theorems For Complex Dynamics
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
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
Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics
Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics
Logical Foundations of Cyber-Physical Systems
Logical Foundations of Cyber-Physical Systems