%0 Conference Paper %1 conf/cade/BasinDHKR0T20 %A Basin, David A. %A Dardinier, Thibault %A Heimes, Lukas %A Krstic, Srdan %A Raszyk, Martin %A Schneider, Joshua %A Traytel, Dmitriy %B IJCAR (1) %D 2020 %E Peltier, Nicolas %E Sofronie-Stokkermans, Viorica %I Springer %K dblp %P 432-453 %T A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2020-1.html#BasinDHKR0T20 %V 12166 %@ 978-3-030-51074-9

@inproceedings{conf/cade/BasinDHKR0T20, added-at = {2022-10-02T00:00:00.000+0200}, author = {Basin, David A. and Dardinier, Thibault and Heimes, Lukas and Krstic, Srdan and Raszyk, Martin and Schneider, Joshua and Traytel, Dmitriy}, biburl = {https://www.bibsonomy.org/bibtex/20ac45e79dc3738ca495bc5562be4a5a0/dblp}, booktitle = {IJCAR (1)}, crossref = {conf/cade/2020-1}, editor = {Peltier, Nicolas and Sofronie-Stokkermans, Viorica}, ee = {https://doi.org/10.1007/978-3-030-51074-9_25}, interhash = {7781441b66ca5d4456cf2f6640e47687}, intrahash = {0ac45e79dc3738ca495bc5562be4a5a0}, isbn = {978-3-030-51074-9}, keywords = {dblp}, pages = {432-453}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T05:45:29.000+0200}, title = {A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2020-1.html#BasinDHKR0T20}, volume = 12166, year = 2020 }