Almost event-rate independent monitoring. Basin, D. A., Bhatt, B. N., Krstic, S., & Traytel, D. Formal Methods Syst. Des., 54(3):449–478, 2019. Paper doi bibtex @article{DBLP:journals/fmsd/BasinBKT19,
author = {David A. Basin and
Bhargav Nagaraja Bhatt and
Srdan Krstic and
Dmitriy Traytel},
title = {Almost event-rate independent monitoring},
journal = {Formal Methods Syst. Des.},
volume = {54},
number = {3},
pages = {449--478},
year = {2019},
url = {https://doi.org/10.1007/s10703-018-00328-3},
doi = {10.1007/s10703-018-00328-3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/BasinBKT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"2gbEdC4EuqtKaYdu5","bibbaseid":"basin-bhatt-krstic-traytel-almosteventrateindependentmonitoring-2019","author_short":["Basin, D. A.","Bhatt, B. N.","Krstic, S.","Traytel, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["David","A."],"propositions":[],"lastnames":["Basin"],"suffixes":[]},{"firstnames":["Bhargav","Nagaraja"],"propositions":[],"lastnames":["Bhatt"],"suffixes":[]},{"firstnames":["Srdan"],"propositions":[],"lastnames":["Krstic"],"suffixes":[]},{"firstnames":["Dmitriy"],"propositions":[],"lastnames":["Traytel"],"suffixes":[]}],"title":"Almost event-rate independent monitoring","journal":"Formal Methods Syst. Des.","volume":"54","number":"3","pages":"449–478","year":"2019","url":"https://doi.org/10.1007/s10703-018-00328-3","doi":"10.1007/s10703-018-00328-3","timestamp":"Fri, 09 Apr 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/fmsd/BasinBKT19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/fmsd/BasinBKT19,\n author = {David A. Basin and\n Bhargav Nagaraja Bhatt and\n Srdan Krstic and\n Dmitriy Traytel},\n title = {Almost event-rate independent monitoring},\n journal = {Formal Methods Syst. Des.},\n volume = {54},\n number = {3},\n pages = {449--478},\n year = {2019},\n url = {https://doi.org/10.1007/s10703-018-00328-3},\n doi = {10.1007/s10703-018-00328-3},\n timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/fmsd/BasinBKT19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Basin, D. A.","Bhatt, B. N.","Krstic, S.","Traytel, D."],"key":"DBLP:journals/fmsd/BasinBKT19","id":"DBLP:journals/fmsd/BasinBKT19","bibbaseid":"basin-bhatt-krstic-traytel-almosteventrateindependentmonitoring-2019","role":"author","urls":{"Paper":"https://doi.org/10.1007/s10703-018-00328-3"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/95/10567.bib","dataSources":["kgH2yTFtfgstdBGrT"],"keywords":[],"search_terms":["event","rate","independent","monitoring","basin","bhatt","krstic","traytel"],"title":"Almost event-rate independent monitoring","year":2019}