Logical foundations of cyber-physical systems.

Saved in:
Bibliographic Details
Main Author: Platzer, André
Format: Electronic
Language:English
Published: New York, NY : Springer Berlin Heidelberg, 2018.
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!