%0 Generic %A Platzer, André. %@ 9783642145094 %T Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics / %U https://ezaccess.libraries.psu.edu/login?url=http://dx.doi.org/10.1007/978-3-642-14509-4