%0 Conference Paper %1 conf/atva/0001BBKT19 %A Schneider, Joshua %A Basin, David A. %A Brix, Frederik %A Krstic, Srdan %A Traytel, Dmitriy %B ATVA %D 2019 %E Chen, Yu-Fang %E Cheng, Chih-Hong %E Esparza, Javier %I Springer %K dblp %P 133-150 %T Adaptive Online First-Order Monitoring. %U http://dblp.uni-trier.de/db/conf/atva/atva2019.html#0001BBKT19 %V 11781 %@ 978-3-030-31784-3

@inproceedings{conf/atva/0001BBKT19, added-at = {2021-04-09T00:00:00.000+0200}, author = {Schneider, Joshua and Basin, David A. and Brix, Frederik and Krstic, Srdan and Traytel, Dmitriy}, biburl = {https://www.bibsonomy.org/bibtex/2d99a64cc06c287c03c90208bd0341499/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2019}, editor = {Chen, Yu-Fang and Cheng, Chih-Hong and Esparza, Javier}, ee = {https://doi.org/10.1007/978-3-030-31784-3_8}, interhash = {1f5e8f7e0795e181cfdde8865f71486b}, intrahash = {d99a64cc06c287c03c90208bd0341499}, isbn = {978-3-030-31784-3}, keywords = {dblp}, pages = {133-150}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:24:42.000+0200}, title = {Adaptive Online First-Order Monitoring.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2019.html#0001BBKT19}, volume = 11781, year = 2019 }