%0 Conference Paper %1 journals/entcs/Platzer07 %A Platzer, André %B HyLo@FLoC %D 2006 %E Blackburn, Patrick %E Bolander, Thomas %E Braüner, Torben %E de Paiva, Valeria %E Villadsen, Jørgen %I Elsevier %K dblp %N 6 %P 63-77 %T Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems. %U http://dblp.uni-trier.de/db/conf/hylo/hylo2006.html#Platzer07 %V 174

@inproceedings{journals/entcs/Platzer07, added-at = {2023-01-27T00:00:00.000+0100}, author = {Platzer, André}, biburl = {https://www.bibsonomy.org/bibtex/22693b3c5d1ff75b34a546f39644633dc/dblp}, booktitle = {HyLo@FLoC}, crossref = {conf/hylo/2006}, editor = {Blackburn, Patrick and Bolander, Thomas and Braüner, Torben and de Paiva, Valeria and Villadsen, Jørgen}, ee = {https://doi.org/10.1016/j.entcs.2006.11.026}, interhash = {f8a2f5db21d97304a87cdc4130bdb427}, intrahash = {2693b3c5d1ff75b34a546f39644633dc}, keywords = {dblp}, number = 6, pages = {63-77}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T12:34:19.000+0200}, title = {Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems.}, url = {http://dblp.uni-trier.de/db/conf/hylo/hylo2006.html#Platzer07}, volume = 174, year = 2006 }