Differential dynamic logic for verifying parametric hybrid systems.

@techreport{DBLP:conf/tableaux/Platzer07:TR,
	ref = {DBLP:conf/tableaux/Platzer07},
	author = {['André Platzer']},
	title = {Differential Dynamic Logic for Verifying
               Parametric Hybrid Systems.},
	number = {15},
	year = {2007},
	month = {May},
	editor = {['Bernd Becker', 'Werner Damm', 'Martin Fränzle', 'Ernst-Rüdiger Olderog', 'Andreas Podelski', 'Reinhard Wilhelm']},
	institution = {Reports of SFB/TR 14 AVACS},
	type = {Reports of SFB/TR 14 AVACS},
	series = {ATR},
	note = {ISSN: 1860-9821, http://www.avacs.org.},
	pdf = {http://www.avacs.org/Publikationen/Open/avacs_technical_report_015.pdf}
}