Differential dynamic logics. Automated theorem proving for hybrid systems

@inproceedings{Platzer2008Dagstuhl,
	author = {['André Platzer']},
	title = {Differential Dynamic Logics. Automated
               Theorem Proving for Hybrid Systems},
	booktitle = {Proceedings des gemeinsamen Workshops der
               Graduiertenkollegs 2008, Dagstuhl},
	year = {2008},
	editor = {['Malte Diehl', 'Henrik Lipskoch', 'Roland Meyer', 'Christian Storm']},
	series = {Trustworthy Software Systems},
	pages = {29},
	address = {Berlin},
	month = {May},
	publisher = {GI},
	isbn = {978-3-940019-39-4},
	location = {May 19–21, 2008, Dagstuhl, Germany},
	url = {https://dl.gi.de/handle/20.500.12116/33599}
}