Overview of logical foundations of cyber-physical systems

@article{DBLP:conf/mod/Platzer19,
	author = {['André Platzer']},
	title = {Overview of Logical Foundations of Cyber-Physical Systems},
	journal = {CoRR},
	volume = {abs/1910.11232},
	year = {2019},
	url = {http://arxiv.org/abs/1910.11232},
	archivePrefix = {arXiv},
	eprint = {1910.11232}
}