TY  - BOOK
AU  - Platzer, Andre
TI  - Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
SN  - 9783642145087
CY  - New York
ER  -