Differential dynamic logic for verifying parametric hybrid systems.

@TECHREPORT{DBLP:conf/tableaux/Platzer07:TR,
	ref = {DBLP:conf/tableaux/Platzer07},

  author    = {Andr{\'e} Platzer},
  title     = {Differential Dynamic Logic for Verifying
               Parametric Hybrid Systems.},
  number    = {15},
  year      = {2007},
  month     = {May},
  editor    = {Bernd Becker and
               Werner Damm and
               Martin Fr{\"a}nzle and
               Ernst-R{\"u}diger Olderog and
               Andreas Podelski and
               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},
}```