%0 Conference Paper %1 conf/rv/HenzingerMS22 %A Henzinger, Thomas A. %A Mazzocchi, Nicolas %A Saraç, N. Ege %B RV %D 2022 %E Dang, Thao %E Stolz, Volker %I Springer %K dblp %P 200-220 %T Abstract Monitors for Quantitative Specifications. %U http://dblp.uni-trier.de/db/conf/rv/rv2022.html#HenzingerMS22 %V 13498 %@ 978-3-031-17196-3

@inproceedings{conf/rv/HenzingerMS22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Henzinger, Thomas A. and Mazzocchi, Nicolas and Saraç, N. Ege}, biburl = {https://www.bibsonomy.org/bibtex/2f88ab6dce6bfcc25c03aab02ce45f743/dblp}, booktitle = {RV}, crossref = {conf/rv/2022}, editor = {Dang, Thao and Stolz, Volker}, ee = {https://doi.org/10.1007/978-3-031-17196-3_11}, interhash = {fcf7b1aa5173367427701ecc1d7c82ad}, intrahash = {f88ab6dce6bfcc25c03aab02ce45f743}, isbn = {978-3-031-17196-3}, keywords = {dblp}, pages = {200-220}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T16:55:50.000+0200}, title = {Abstract Monitors for Quantitative Specifications.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2022.html#HenzingerMS22}, volume = 13498, year = 2022 }