Standard
A Formally Verified Monitor for Metric First-Order Temporal Logic. / Schneider, Joshua; Basin, David; Krstić, Srđan; Traytel, Dmitriy.
RV 2019. red. / Bernd Finkbeiner; Leonardo Mariani. Bind 11757 Springer, Cham, 2019. s. 310-328 (LNCS).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Schneider, J, Basin, D, Krstić, S
& Traytel, D 2019,
A Formally Verified Monitor for Metric First-Order Temporal Logic. i B Finkbeiner & L Mariani (red),
RV 2019. bind 11757, Springer, Cham, LNCS, s. 310-328.
https://doi.org/10.1007/978-3-030-32079-9_18
APA
Schneider, J., Basin, D., Krstić, S.
, & Traytel, D. (2019).
A Formally Verified Monitor for Metric First-Order Temporal Logic. I B. Finkbeiner, & L. Mariani (red.),
RV 2019 (Bind 11757, s. 310-328). Springer, Cham. LNCS
https://doi.org/10.1007/978-3-030-32079-9_18
Vancouver
Schneider J, Basin D, Krstić S
, Traytel D.
A Formally Verified Monitor for Metric First-Order Temporal Logic. I Finkbeiner B, Mariani L, red., RV 2019. Bind 11757. Springer, Cham. 2019. s. 310-328. (LNCS).
https://doi.org/10.1007/978-3-030-32079-9_18
Author
Schneider, Joshua ; Basin, David ; Krstić, Srđan ; Traytel, Dmitriy. / A Formally Verified Monitor for Metric First-Order Temporal Logic. RV 2019. red. / Bernd Finkbeiner ; Leonardo Mariani. Bind 11757 Springer, Cham, 2019. s. 310-328 (LNCS).
Bibtex
@inproceedings{155b50047e4d4495b4f899eab314b407,
title = "A Formally Verified Monitor for Metric First-Order Temporal Logic",
author = "Joshua Schneider and David Basin and Sr{\d}an Krsti{\'c} and Dmitriy Traytel",
year = "2019",
doi = "10.1007/978-3-030-32079-9_18",
language = "English",
volume = "11757",
series = "LNCS",
pages = "310--328",
editor = "Bernd Finkbeiner and Leonardo Mariani",
booktitle = "RV 2019",
publisher = "Springer, Cham",
}
RIS
TY - GEN
T1 - A Formally Verified Monitor for Metric First-Order Temporal Logic
AU - Schneider, Joshua
AU - Basin, David
AU - Krstić, Srđan
AU - Traytel, Dmitriy
PY - 2019
Y1 - 2019
U2 - 10.1007/978-3-030-32079-9_18
DO - 10.1007/978-3-030-32079-9_18
M3 - Article in proceedings
VL - 11757
T3 - LNCS
SP - 310
EP - 328
BT - RV 2019
A2 - Finkbeiner, Bernd
A2 - Mariani, Leonardo
PB - Springer, Cham
ER -