Logical foundations of cyber-physical systems

@book{Platzer18,
	slides = {https://lfcps.org/lfcps/lfcps-slides.zip},
	study = {https://www.springer.com/978-3-319-63587-3},
	errata = {lfcps/lfcps-errata.txt},
	author = {['André Platzer']},
	title = {Logical Foundations of Cyber-Physical Systems},
	publisher = {Springer},
	address = {Cham},
	year = {2018},
	isbn = {978-3-319-63587-3},
	e-isbn = {978-3-319-63588-0},
	doi = {10.1007/978-3-319-63588-0}
}