Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

André Platzer | lit.salon

Author

André Platzer

5 works

2010–2021 across 4 dated works

No biography is available yet.

Start with

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics2010
Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings2015
With Roland Meyer, Heike Wehrheim
Logical Foundations of Cyber-Physical Systems2018
Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings2021
With Geoff Sutcliffe

Books

4 works

Featured (4)Featured (4)All (5)All (5)

Search booksSort books

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics2010
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Logical Foundations of Cyber-Physical Systems2018
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings2015
With Roland Meyer, Heike Wehrheim
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings2021
With Geoff Sutcliffe
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around André Platzer.

The conversation is still open.

There is no public salon activity to show for André Platzer yet.