Differential dynamic logics: Automated theorem proving for hybrid systems

@PHDTHESIS{Platzer08,
	pdf = {pub/diss.pdf},
	slides = {pub/diss-slides.pdf},
	ref = {Platzer10},
	refname = {ebook},

  author  = {Andr{\'e} Platzer},
  title   = {Differential Dynamic Logics:
             Automated Theorem Proving for Hybrid Systems},
  school  = {Department of Computing Science,
             University of Oldenburg},
  year    = {2008},
  pages   = {299},
  url     = {http://oops.uni-oldenburg.de/1403/},
}```