%0 Conference Paper %1 conf/tacas/ZinggKRST22 %A Zingg, Sheila %A Krstic, Srdan %A Raszyk, Martin %A Schneider, Joshua %A Traytel, Dmitriy %B TACAS (2) %D 2022 %E Fisman, Dana %E Rosu, Grigore %I Springer %K dblp %P 236-253 %T Verified First-Order Monitoring with Recursive Rules. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2022-2.html#ZinggKRST22 %V 13244 %@ 978-3-030-99527-0

@inproceedings{conf/tacas/ZinggKRST22, added-at = {2022-04-29T00:00:00.000+0200}, author = {Zingg, Sheila and Krstic, Srdan and Raszyk, Martin and Schneider, Joshua and Traytel, Dmitriy}, biburl = {https://www.bibsonomy.org/bibtex/29026176f7a2d46d798926aa36c0e70ea/dblp}, booktitle = {TACAS (2)}, crossref = {conf/tacas/2022-2}, editor = {Fisman, Dana and Rosu, Grigore}, ee = {https://doi.org/10.1007/978-3-030-99527-0_13}, interhash = {133b5eaa1649faa4544dd4c69f92f815}, intrahash = {9026176f7a2d46d798926aa36c0e70ea}, isbn = {978-3-030-99527-0}, keywords = {dblp}, pages = {236-253}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:35.000+0200}, title = {Verified First-Order Monitoring with Recursive Rules.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2022-2.html#ZinggKRST22}, volume = 13244, year = 2022 }