TY  - BOOK
AU  - Platzer, Andre.
TI  - Logical foundations of cyber-physical systems 
SN  - 9783319635873 (alk. paper)
U1  - 004.259 P698L 23
PY  - 2018///
CY  - Switzerland
PB  - Springer Nature
KW  - Cyber Systems
KW  - Hybrid-systems
KW  - Multi-dynamical systems
N1  - Includes bibliographical references and index
ER  -