Logical analysis of hybrid systems: Proving theorems for complex dynamics

@book{Platzer10,
	study = {https://www.springer.com/978-3-642-14508-7},
	errata = {lahs/lahs-errata.txt},
	author = {['André Platzer']},
	title = {Logical Analysis of Hybrid Systems:
               Proving Theorems for Complex Dynamics},
	publisher = {Springer},
	address = {Heidelberg},
	year = {2010},
	isbn = {978-3-642-14508-7},
	e-isbn = {978-3-642-14509-4},
	doi = {10.1007/978-3-642-14509-4}
}