TY  - BOOK
AU  - Platzer, Andre
TI  - Logical analysis of hybrid systems: providing theorems for complex dynamics
SN  - 9783642145087
U1  - 005.39 
PY  - 2010///
CY  - Heidelberg
PB  - Springer
KW  - Programming
ER  -