Standard
Scalable Online First-Order Monitoring. / Schneider, Joshua; Basin, David; Brix, Frederik; Krstić, Srđan; Traytel, Dmitriy.
RV 2018. ed. / Christian Colombo; Martin Leucker. Vol. 11237 Springer, Cham, 2018. p. 353-371 (LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Schneider, J, Basin, D, Brix, F, Krstić, S
& Traytel, D 2018,
Scalable Online First-Order Monitoring. in C Colombo & M Leucker (eds),
RV 2018. vol. 11237, Springer, Cham, LNCS, pp. 353-371.
https://doi.org/10.1007/978-3-030-03769-7_20APA
Schneider, J., Basin, D., Brix, F., Krstić, S.
, & Traytel, D. (2018).
Scalable Online First-Order Monitoring. In C. Colombo, & M. Leucker (Eds.),
RV 2018 (Vol. 11237, pp. 353-371). Springer, Cham. LNCS
https://doi.org/10.1007/978-3-030-03769-7_20Vancouver
Schneider J, Basin D, Brix F, Krstić S
, Traytel D.
Scalable Online First-Order Monitoring. In Colombo C, Leucker M, editors, RV 2018. Vol. 11237. Springer, Cham. 2018. p. 353-371. (LNCS).
https://doi.org/10.1007/978-3-030-03769-7_20Author
Schneider, Joshua ; Basin, David ; Brix, Frederik ; Krstić, Srđan ; Traytel, Dmitriy. / Scalable Online First-Order Monitoring. RV 2018. editor / Christian Colombo ; Martin Leucker. Vol. 11237 Springer, Cham, 2018. pp. 353-371 (LNCS).
Bibtex
@inproceedings{43ec2e40498941f49a8fb74c08e9d1a3,
title = "Scalable Online First-Order Monitoring",
author = "Joshua Schneider and David Basin and Frederik Brix and Sr{\d}an Krsti{\'c} and Dmitriy Traytel",
year = "2018",
doi = "10.1007/978-3-030-03769-7_20",
language = "English",
volume = "11237",
series = "LNCS",
pages = "353--371",
editor = "Christian Colombo and Martin Leucker",
booktitle = "RV 2018",
publisher = "Springer, Cham",
}
RIS
TY - GEN
T1 - Scalable Online First-Order Monitoring
AU - Schneider, Joshua
AU - Basin, David
AU - Brix, Frederik
AU - Krstić, Srđan
AU - Traytel, Dmitriy
PY - 2018
Y1 - 2018
U2 - 10.1007/978-3-030-03769-7_20
DO - 10.1007/978-3-030-03769-7_20
M3 - Article in proceedings
VL - 11237
T3 - LNCS
SP - 353
EP - 371
BT - RV 2018
A2 - Colombo, Christian
A2 - Leucker, Martin
PB - Springer, Cham
ER -
