Normal view
MARC view
Platzer, Andre. (Personal Name)
Machine generated authority record.
Work cat.: (OSt)8907: Platzer, Andre., Logical foundations of cyber-physical systems , 2018.