%0 Conference Paper %1 conf/zum/Platzer23 %A Platzer, André %B ABZ %D 2023 %E Glässer, Uwe %E Campos, José Creissac %E Méry, Dominique %E Palanque, Philippe A. %I Springer %K dblp %P 3-14 %T Refinements of Hybrid Dynamical Systems Logic. %U http://dblp.uni-trier.de/db/conf/zum/abz2023.html#Platzer23 %V 14010 %@ 978-3-031-33163-3

@inproceedings{conf/zum/Platzer23, added-at = {2023-06-02T00:00:00.000+0200}, author = {Platzer, André}, biburl = {https://www.bibsonomy.org/bibtex/21b94ebcb342c942b1fc738da8f287243/dblp}, booktitle = {ABZ}, crossref = {conf/zum/2023}, editor = {Glässer, Uwe and Campos, José Creissac and Méry, Dominique and Palanque, Philippe A.}, ee = {https://doi.org/10.1007/978-3-031-33163-3_1}, interhash = {b071fe18c1d243ebb3f06b950e2cde6b}, intrahash = {1b94ebcb342c942b1fc738da8f287243}, isbn = {978-3-031-33163-3}, keywords = {dblp}, pages = {3-14}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:07:26.000+0200}, title = {Refinements of Hybrid Dynamical Systems Logic.}, url = {http://dblp.uni-trier.de/db/conf/zum/abz2023.html#Platzer23}, volume = 14010, year = 2023 }