Almost Event-Rate Independent Monitoring of Metric Temporal Logic
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Standard
Almost Event-Rate Independent Monitoring of Metric Temporal Logic. / Basin, David; Bhatt, Bhargav; Traytel, Dmitriy.
TACAS 2017. red. / Axel Legay; Tiziana Margaria. Bind 10206 Springer Berlin/Heidelberg, 2017. s. 94-112 (LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Basin, D, Bhatt, B & Traytel, D 2017, Almost Event-Rate Independent Monitoring of Metric Temporal Logic. i A Legay & T Margaria (red), TACAS 2017. bind 10206, Springer Berlin/Heidelberg, LNCS, s. 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. I A. Legay, & T. Margaria (red.), TACAS 2017 (Bind 10206, s. 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. I Legay A, Margaria T, red., TACAS 2017. Bind 10206. Springer Berlin/Heidelberg. 2017. s. 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