A Taxonomy for Classifying Runtime Verification Tools
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Standard
A Taxonomy for Classifying Runtime Verification Tools. / Falcone, Yliès; Krstić, Sran; Reger, Giles; Traytel, Dmitriy.
Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings. ed. / Christian Colombo; Martin Leucker. Springer, 2018. p. 241-262 (LNCS). (Lecture Notes in Computer Science, Vol. 11237).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Falcone, Y, Krstić, S, Reger, G & Traytel, D 2018, A Taxonomy for Classifying Runtime Verification Tools. in C Colombo & M Leucker (eds), Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings. Springer, LNCS, Lecture Notes in Computer Science, vol. 11237, pp. 241-262. https://doi.org/10.1007/978-3-030-03769-7_14
APA
Falcone, Y., Krstić, S., Reger, G., & Traytel, D. (2018). A Taxonomy for Classifying Runtime Verification Tools. In C. Colombo, & M. Leucker (Eds.), Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings (pp. 241-262). Springer. LNCS Lecture Notes in Computer Science Vol. 11237 https://doi.org/10.1007/978-3-030-03769-7_14
Vancouver
Falcone Y, Krstić S, Reger G, Traytel D. A Taxonomy for Classifying Runtime Verification Tools. In Colombo C, Leucker M, editors, Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings. Springer. 2018. p. 241-262. (LNCS). (Lecture Notes in Computer Science, Vol. 11237). https://doi.org/10.1007/978-3-030-03769-7_14
Author
Bibtex
@inproceedings{572053a01d0a4c16ae7a807f8b08bdde,
title = "A Taxonomy for Classifying Runtime Verification Tools",
author = "Yli{\`e}s Falcone and Sran Krsti{\'c} and Giles Reger and Dmitriy Traytel",
year = "2018",
doi = "10.1007/978-3-030-03769-7_14",
language = "English",
series = "LNCS",
pages = "241--262",
editor = "Christian Colombo and Martin Leucker",
booktitle = "Runtime Verification",
publisher = "Springer",
address = "Switzerland",
}
RIS
TY - GEN
T1 - A Taxonomy for Classifying Runtime Verification Tools
AU - Falcone, Yliès
AU - Krstić, Sran
AU - Reger, Giles
AU - Traytel, Dmitriy
PY - 2018
Y1 - 2018
U2 - 10.1007/978-3-030-03769-7_14
DO - 10.1007/978-3-030-03769-7_14
M3 - Article in proceedings
T3 - LNCS
SP - 241
EP - 262
BT - Runtime Verification
A2 - Colombo, Christian
A2 - Leucker, Martin
PB - Springer
ER -
ID: 245669659