TY  - GEN
AU  - André Platzer
TI  - Logical Foundations of Cyber-Physical Systems
PY  - 2021
PB  - Springer Science+Business Media
UR  - 
ER  -