Almost Event-Rate Independent Monitoring
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Standard
Almost Event-Rate Independent Monitoring. / Basin, David; Bhatt, Bhargav; Krstić, Sran; Traytel, Dmitriy.
I: Formal Methods in System Design, Bind 54, Nr. 3, 2019, s. 449-478.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Harvard
Basin, D, Bhatt, B, Krstić, S & Traytel, D 2019, 'Almost Event-Rate Independent Monitoring', Formal Methods in System Design, bind 54, nr. 3, s. 449-478. https://doi.org/10.1007/s10703-018-00328-3
APA
Basin, D., Bhatt, B., Krstić, S., & Traytel, D. (2019). Almost Event-Rate Independent Monitoring. Formal Methods in System Design, 54(3), 449-478. https://doi.org/10.1007/s10703-018-00328-3
Vancouver
Basin D, Bhatt B, Krstić S, Traytel D. Almost Event-Rate Independent Monitoring. Formal Methods in System Design. 2019;54(3):449-478. https://doi.org/10.1007/s10703-018-00328-3
Author
Bibtex
@article{994a23e53c3f49b2bb0da68b3cadb021,
title = "Almost Event-Rate Independent Monitoring",
author = "David Basin and Bhargav Bhatt and Sran Krsti{\'c} and Dmitriy Traytel",
year = "2019",
doi = "10.1007/s10703-018-00328-3",
language = "English",
volume = "54",
pages = "449--478",
journal = "Formal Methods in System Design",
issn = "0925-9856",
publisher = "Springer Netherlands",
number = "3",
}
RIS
TY - JOUR
T1 - Almost Event-Rate Independent Monitoring
AU - Basin, David
AU - Bhatt, Bhargav
AU - Krstić, Sran
AU - Traytel, Dmitriy
PY - 2019
Y1 - 2019
U2 - 10.1007/s10703-018-00328-3
DO - 10.1007/s10703-018-00328-3
M3 - Journal article
VL - 54
SP - 449
EP - 478
JO - Formal Methods in System Design
JF - Formal Methods in System Design
SN - 0925-9856
IS - 3
ER -
ID: 245669607