%0 Conference Paper %1 conf/cpp/WhiteTSM24 %A White, Lauren M. %A Titolo, Laura %A Slagel, J. Tanner %A Muñoz, César A. %B CPP %D 2024 %E Timany, Amin %E Traytel, Dmitriy %E Pientka, Brigitte %E Blazy, Sandrine %I ACM %K dblp %P 162-176 %T A Temporal Differential Dynamic Logic Formal Embedding. %U http://dblp.uni-trier.de/db/conf/cpp/cpp2024.html#WhiteTSM24

@inproceedings{conf/cpp/WhiteTSM24, added-at = {2024-06-03T00:00:00.000+0200}, author = {White, Lauren M. and Titolo, Laura and Slagel, J. Tanner and Muñoz, César A.}, biburl = {https://www.bibsonomy.org/bibtex/2ae90c37d8ae98e1427644745d71d9390/dblp}, booktitle = {CPP}, crossref = {conf/cpp/2024}, editor = {Timany, Amin and Traytel, Dmitriy and Pientka, Brigitte and Blazy, Sandrine}, ee = {https://doi.org/10.1145/3636501.3636943}, interhash = {a054153f7e10e3d2b8a3aece06152ac5}, intrahash = {ae90c37d8ae98e1427644745d71d9390}, keywords = {dblp}, pages = {162-176}, publisher = {ACM}, timestamp = {2024-06-10T07:21:28.000+0200}, title = {A Temporal Differential Dynamic Logic Formal Embedding.}, url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2024.html#WhiteTSM24}, year = 2024 }