André Platzer
André Platzer
4 books in the database
Books
Logical Analysis of Hybrid SystemsAndré Platzer
Logical Analysis of Hybrid Systems
André Platzer · 2010
Formal MethodsAndré Platzer
Formal Methods
André Platzer · 2024
Automated Deduction - CADE 28André Platzer
Automated Deduction - CADE 28
André Platzer · 2021
Logical Foundations of Cyber-Physical SystemsAndré Platzer
Logical Foundations of Cyber-Physical Systems
André Platzer · 2018
Co-authored books and collections
Books that list André Platzer among their authors but not as the lead author: co-written works, collections and compilations.
