Logical foundations of cyber-physical systems /

Main Authors: Platzer, André
Group Author: Frehse, G. Goran
Published: Springer,
Publication Dates: [2018]
Call Number: TP303/P719