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{\'e} 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},
}```