Almost Event-Rate Independent Monitoring of Metric Temporal Logic
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Standard
Almost Event-Rate Independent Monitoring of Metric Temporal Logic. / Basin, David; Bhatt, Bhargav; Traytel, Dmitriy.
TACAS 2017. ed. / Axel Legay; Tiziana Margaria. Vol. 10206 Springer Berlin/Heidelberg, 2017. p. 94-112 (LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Basin, D, Bhatt, B & Traytel, D 2017, Almost Event-Rate Independent Monitoring of Metric Temporal Logic. in A Legay & T Margaria (eds), TACAS 2017. vol. 10206, Springer Berlin/Heidelberg, LNCS, pp. 94-112. https://doi.org/10.1007/978-3-662-54580-5_6
APA
Basin, D., Bhatt, B., & Traytel, D. (2017). Almost Event-Rate Independent Monitoring of Metric Temporal Logic. In A. Legay, & T. Margaria (Eds.), TACAS 2017 (Vol. 10206, pp. 94-112). Springer Berlin/Heidelberg. LNCS https://doi.org/10.1007/978-3-662-54580-5_6
Vancouver
Basin D, Bhatt B, Traytel D. Almost Event-Rate Independent Monitoring of Metric Temporal Logic. In Legay A, Margaria T, editors, TACAS 2017. Vol. 10206. Springer Berlin/Heidelberg. 2017. p. 94-112. (LNCS). https://doi.org/10.1007/978-3-662-54580-5_6
Author
Bibtex
@inproceedings{c927debf068047f3bdf3b7a289130a0c,
title = "Almost Event-Rate Independent Monitoring of Metric Temporal Logic",
author = "David Basin and Bhargav Bhatt and Dmitriy Traytel",
year = "2017",
doi = "10.1007/978-3-662-54580-5_6",
language = "English",
volume = "10206",
series = "LNCS",
pages = "94--112",
editor = "Axel Legay and Tiziana Margaria",
booktitle = "TACAS 2017",
publisher = "Springer Berlin/Heidelberg",
}
RIS
TY - GEN
T1 - Almost Event-Rate Independent Monitoring of Metric Temporal Logic
AU - Basin, David
AU - Bhatt, Bhargav
AU - Traytel, Dmitriy
PY - 2017
Y1 - 2017
U2 - 10.1007/978-3-662-54580-5_6
DO - 10.1007/978-3-662-54580-5_6
M3 - Article in proceedings
VL - 10206
T3 - LNCS
SP - 94
EP - 112
BT - TACAS 2017
A2 - Legay, Axel
A2 - Margaria, Tiziana
PB - Springer Berlin/Heidelberg
ER -
ID: 245669242