Commit 51fe4aad authored by Tobias Wegner's avatar Tobias Wegner
Browse files

fixed citation RVconf19

parent 8cda8082
......@@ -349,15 +349,16 @@ doi = {10.1109/ICST.2010.60}
volume={},
number={},
pages={1923-1928},}
{RVconf19,
@InProceedings{RVconf19,
author = {Leucker M. and Sánchez C. and Scheffel T. and Schmitz M. and Thoma D.},
title = {Runtime Verification for Timed Event Streams with Partial Information.},
booktitle = {Finkbeiner B., Mariani L. (eds) Runtime Verification. RV 2019.}
booktitle = {Finkbeiner B., Mariani L. (eds) Runtime Verification. RV 2019.},
year = {2019},
publisher = {Springer},
editor = {Bernd Finkbeiner and Leonardo Mariani}
editor = {Bernd Finkbeiner and Leonardo Mariani},
pages = {273--291},
doi = {10.1007/978-3-030-32079-9}
doi = {10.1007/978-3-030-32079-9},
url = {https://doi.org/10.1007/978-3-030-32079-9},
series = {Lecture Notes in Computer Science},
volume = {11757},
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment