Refinements of hybrid dynamical systems logic

@inproceedings{DBLP:conf/asm/Platzer23,
	slides = {pub/abz23-slides.pdf},
	author = {['André Platzer']},
	editor = {['Uwe Glässer', 'José Creissac Campos', 'Dominique Méry', 'Philippe Palanque']},
	title = {Refinements of Hybrid Dynamical Systems Logic},
	booktitle = {Rigorous State-Based Methods - 9th International Conference, ABZ
               2023, Nancy, France, Proceedings},
	series = {LNCS},
	volume = {14010},
	pages = {3-14},
	publisher = {Springer},
	year = {2023},
	doi = {10.1007/978-3-031-33163-3_1}
}