A Taxonomy for Classifying Runtime Verification Tools
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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. red. / Christian Colombo; Martin Leucker. Springer, 2018. s. 241-262 (LNCS). (Lecture Notes in Computer Science, Bind 11237).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Falcone, Y, Krstić, S, Reger, G & Traytel, D 2018, A Taxonomy for Classifying Runtime Verification Tools. i C Colombo & M Leucker (red), Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings. Springer, LNCS, Lecture Notes in Computer Science, bind 11237, s. 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. I C. Colombo, & M. Leucker (red.), Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings (s. 241-262). Springer. LNCS Lecture Notes in Computer Science Bind 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. I Colombo C, Leucker M, red., Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings. Springer. 2018. s. 241-262. (LNCS). (Lecture Notes in Computer Science, Bind 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