Differential logic for hybrid system verification – reasoning about interacting discrete and continuous change

@INPROCEEDINGS{Platzer2007Dagstuhl,
  author    = {Andr{\'e} Platzer},
  title     = {Differential Logic for Hybrid System
               Verification -- Reasoning about Interacting
               Discrete and Continuous Change},
  booktitle = {Dagstuhl ``zehn plus eins'' -- Zehn
        Informatik-Graduiertenkollegs und ein
        Informatik-Forschungskolleg stellen sich vor},
  year      = {2007},
  pages     = {80},
  address   = {Aachen},
  month     = {Jun},
  publisher = {Verlagshaus Mainz}
}```