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

@inproceedings{Platzer2007Dagstuhl,
	author = {['André 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 = {June},
	publisher = {Verlagshaus Mainz}
}