TY  - BOOK
AU  - Platzer, André. 
TI  - Logical Foundations of Cyber-Physical Systems
SN  - 9783319635873
U1  - 004 
PY  - 2018///
CY  - Switzerland
PB  - Springer
KW  - Computer logic
ER  -