@inproceedings{DBLP:conf/rv/BasinKT17,
  author    = {David A. Basin and
               Srdan Krstic and
               Dmitriy Traytel},
  editor    = {Shuvendu K. Lahiri and
               Giles Reger},
  title     = {Almost Event-Rate Independent Monitoring of Metric Dynamic Logic},
  booktitle = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle,
               WA, USA, September 13-16, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10548},
  pages     = {85--102},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-67531-2\_6},
  doi       = {10.1007/978-3-319-67531-2\_6},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/rv/BasinKT17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"DJDRKKRSRejTGzpxY","bibbaseid":"basin-krstic-traytel-almosteventrateindependentmonitoringofmetricdynamiclogic-2017","author_short":["Basin, D. A.","Krstic, S.","Traytel, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["David","A."],"propositions":[],"lastnames":["Basin"],"suffixes":[]},{"firstnames":["Srdan"],"propositions":[],"lastnames":["Krstic"],"suffixes":[]},{"firstnames":["Dmitriy"],"propositions":[],"lastnames":["Traytel"],"suffixes":[]}],"editor":[{"firstnames":["Shuvendu","K."],"propositions":[],"lastnames":["Lahiri"],"suffixes":[]},{"firstnames":["Giles"],"propositions":[],"lastnames":["Reger"],"suffixes":[]}],"title":"Almost Event-Rate Independent Monitoring of Metric Dynamic Logic","booktitle":"Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings","series":"Lecture Notes in Computer Science","volume":"10548","pages":"85–102","publisher":"Springer","year":"2017","url":"https://doi.org/10.1007/978-3-319-67531-2_6","doi":"10.1007/978-3-319-67531-2_6","timestamp":"Fri, 09 Apr 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/rv/BasinKT17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/rv/BasinKT17,\n author = {David A. Basin and\n Srdan Krstic and\n Dmitriy Traytel},\n editor = {Shuvendu K. Lahiri and\n Giles Reger},\n title = {Almost Event-Rate Independent Monitoring of Metric Dynamic Logic},\n booktitle = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle,\n WA, USA, September 13-16, 2017, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {10548},\n pages = {85--102},\n publisher = {Springer},\n year = {2017},\n url = {https://doi.org/10.1007/978-3-319-67531-2\\_6},\n doi = {10.1007/978-3-319-67531-2\\_6},\n timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/rv/BasinKT17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Basin, D. A.","Krstic, S.","Traytel, D."],"editor_short":["Lahiri, S. K.","Reger, G."],"key":"DBLP:conf/rv/BasinKT17","id":"DBLP:conf/rv/BasinKT17","bibbaseid":"basin-krstic-traytel-almosteventrateindependentmonitoringofmetricdynamiclogic-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-67531-2_6"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/95/10567.bib","dataSources":["kgH2yTFtfgstdBGrT"],"keywords":[],"search_terms":["event","rate","independent","monitoring","metric","dynamic","logic","basin","krstic","traytel"],"title":"Almost Event-Rate Independent Monitoring of Metric Dynamic Logic","year":2017}