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é 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/}
}