Multi-Head Monitoring of Metric Temporal Logic
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Standard
Multi-Head Monitoring of Metric Temporal Logic. / Raszyk, Martin; Basin, David; Krstić, Srđan; Traytel, Dmitriy.
ATVA 2019. red. / Yu-Fang Chen; Chih-Hong Cheng; Javier Esparza. Bind 11781 Springer, Cham, 2019. s. 151-170 (LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Raszyk, M, Basin, D, Krstić, S & Traytel, D 2019, Multi-Head Monitoring of Metric Temporal Logic. i Y-F Chen, C-H Cheng & J Esparza (red), ATVA 2019. bind 11781, Springer, Cham, LNCS, s. 151-170. https://doi.org/10.1007/978-3-030-31784-3_9
APA
Raszyk, M., Basin, D., Krstić, S., & Traytel, D. (2019). Multi-Head Monitoring of Metric Temporal Logic. I Y-F. Chen, C-H. Cheng, & J. Esparza (red.), ATVA 2019 (Bind 11781, s. 151-170). Springer, Cham. LNCS https://doi.org/10.1007/978-3-030-31784-3_9
Vancouver
Raszyk M, Basin D, Krstić S, Traytel D. Multi-Head Monitoring of Metric Temporal Logic. I Chen Y-F, Cheng C-H, Esparza J, red., ATVA 2019. Bind 11781. Springer, Cham. 2019. s. 151-170. (LNCS). https://doi.org/10.1007/978-3-030-31784-3_9
Author
Bibtex
@inproceedings{353f07a777fc4d25b1ba5bdb234f5b66,
title = "Multi-Head Monitoring of Metric Temporal Logic",
author = "Martin Raszyk and David Basin and Sr{\d}an Krsti{\'c} and Dmitriy Traytel",
year = "2019",
doi = "10.1007/978-3-030-31784-3_9",
language = "English",
volume = "11781",
series = "LNCS",
pages = "151--170",
editor = "Yu-Fang Chen and Chih-Hong Cheng and Javier Esparza",
booktitle = "ATVA 2019",
publisher = "Springer, Cham",
}
RIS
TY - GEN
T1 - Multi-Head Monitoring of Metric Temporal Logic
AU - Raszyk, Martin
AU - Basin, David
AU - Krstić, Srđan
AU - Traytel, Dmitriy
PY - 2019
Y1 - 2019
U2 - 10.1007/978-3-030-31784-3_9
DO - 10.1007/978-3-030-31784-3_9
M3 - Article in proceedings
VL - 11781
T3 - LNCS
SP - 151
EP - 170
BT - ATVA 2019
A2 - Chen, Yu-Fang
A2 - Cheng, Chih-Hong
A2 - Esparza, Javier
PB - Springer, Cham
ER -
ID: 245667739