TY  - BOOK
AU  - Platzer, Andre 
TI  - Logical foundations of cyber-physical systems
SN  - 9783319635873
U1  - 006.22 P6981l 
PY  - 2018///
CY  - Switzerland
PB  - Springer
KW  - Autonomic computing
KW  - Cooperating objects (Computer systems)
KW  - Cybernetics
KW  - Computer science
KW  - Embedded computer systems
ER  -