%0 Conference Paper %1 conf/cav/HubletLBKT24 %A Hublet, François %A Lima, Leonardo %A Basin, David A. %A Krstic, Srdan %A Traytel, Dmitriy %B CAV (2) %D 2024 %E Gurfinkel, Arie %E Ganesh, Vijay %I Springer %K dblp %P 156-181 %T Proactive Real-Time First-Order Enforcement. %U http://dblp.uni-trier.de/db/conf/cav/cav2024-2.html#HubletLBKT24 %V 14682 %@ 978-3-031-65630-9

@inproceedings{conf/cav/HubletLBKT24, added-at = {2024-08-02T00:00:00.000+0200}, author = {Hublet, François and Lima, Leonardo and Basin, David A. and Krstic, Srdan and Traytel, Dmitriy}, biburl = {https://www.bibsonomy.org/bibtex/24daf0518b7fc689be44ca57125856527/dblp}, booktitle = {CAV (2)}, crossref = {conf/cav/2024-2}, editor = {Gurfinkel, Arie and Ganesh, Vijay}, ee = {https://doi.org/10.1007/978-3-031-65630-9_8}, interhash = {c4ac8851fcde9bb4900ab302d11f63b3}, intrahash = {4daf0518b7fc689be44ca57125856527}, isbn = {978-3-031-65630-9}, keywords = {dblp}, pages = {156-181}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-08-05T07:22:49.000+0200}, title = {Proactive Real-Time First-Order Enforcement.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2024-2.html#HubletLBKT24}, volume = 14682, year = 2024 }