Search Results for Platzer, André.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dPlatzer$00252C$002bAndr$0025C3$0025A9.$0026ps$003d300?
2024-10-30T06:16:20Z
Logical Foundations of Cyber-Physical Systems
ent://SD_ILS/0/SD_ILS:399499
2024-10-30T06:16:20Z
2024-10-30T06:16:20Z
Author Platzer, André. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63588-0">https://doi.org/10.1007/978-3-319-63588-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics
ent://SD_ILS/0/SD_ILS:192678
2024-10-30T06:16:20Z
2024-10-30T06:16:20Z
Author Platzer, André. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14509-4">http://dx.doi.org/10.1007/978-3-642-14509-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:518815
2024-10-30T06:16:20Z
2024-10-30T06:16:20Z
Author Meyer, Roland. editor. Platzer, André. editor. Wehrheim, Heike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518815.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23506-6">https://doi.org/10.1007/978-3-319-23506-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>