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