Almost Event-Rate Independent Monitoring of Metric Dynamic Logic
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Standard
Almost Event-Rate Independent Monitoring of Metric Dynamic Logic. / Basin, David; Krstić, Srđan; Traytel, Dmitriy.
Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings. red. / Shuvendu Lahiri; Giles Reger. Springer, Cham, 2017. s. 85-102 (Lecture Notes in Computer Science, Bind 10548).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Basin, D, Krstić, S & Traytel, D 2017, Almost Event-Rate Independent Monitoring of Metric Dynamic Logic. i S Lahiri & G Reger (red), Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings. Springer, Cham, Lecture Notes in Computer Science, bind 10548, s. 85-102. https://doi.org/10.1007/978-3-319-67531-2_6
APA
Basin, D., Krstić, S., & Traytel, D. (2017). Almost Event-Rate Independent Monitoring of Metric Dynamic Logic. I S. Lahiri, & G. Reger (red.), Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings (s. 85-102). Springer, Cham. Lecture Notes in Computer Science Bind 10548 https://doi.org/10.1007/978-3-319-67531-2_6
Vancouver
Basin D, Krstić S, Traytel D. Almost Event-Rate Independent Monitoring of Metric Dynamic Logic. I Lahiri S, Reger G, red., Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings. Springer, Cham. 2017. s. 85-102. (Lecture Notes in Computer Science, Bind 10548). https://doi.org/10.1007/978-3-319-67531-2_6
Author
Bibtex
@inproceedings{004beeb0b82d4793b24bf12d3740f28d,
title = "Almost Event-Rate Independent Monitoring of Metric Dynamic Logic",
author = "David Basin and Sr{\d}an Krsti{\'c} and Dmitriy Traytel",
year = "2017",
doi = "10.1007/978-3-319-67531-2_6",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer, Cham",
pages = "85--102",
editor = "Shuvendu Lahiri and Giles Reger",
booktitle = "Runtime Verification",
}
RIS
TY - GEN
T1 - Almost Event-Rate Independent Monitoring of Metric Dynamic Logic
AU - Basin, David
AU - Krstić, Srđan
AU - Traytel, Dmitriy
PY - 2017
Y1 - 2017
U2 - 10.1007/978-3-319-67531-2_6
DO - 10.1007/978-3-319-67531-2_6
M3 - Article in proceedings
T3 - Lecture Notes in Computer Science
SP - 85
EP - 102
BT - Runtime Verification
A2 - Lahiri, Shuvendu
A2 - Reger, Giles
PB - Springer, Cham
ER -
ID: 245669453