%0 Conference Paper %1 conf/rv/FinkbeinerOPS20 %A Finkbeiner, Bernd %A Oswald, Stefan %A Passing, Noemi %A Schwenger, Maximilian %B RV %D 2020 %E Deshmukh, Jyotirmoy %E Nickovic, Dejan %I Springer %K dblp %P 431-450 %T Verified Rust Monitors for Lola Specifications. %U http://dblp.uni-trier.de/db/conf/rv/rv2020.html#FinkbeinerOPS20 %V 12399 %@ 978-3-030-60508-7

@inproceedings{conf/rv/FinkbeinerOPS20, added-at = {2021-03-17T00:00:00.000+0100}, author = {Finkbeiner, Bernd and Oswald, Stefan and Passing, Noemi and Schwenger, Maximilian}, biburl = {https://www.bibsonomy.org/bibtex/26f04bd2e46ff53a2fd2946703ea4de6d/dblp}, booktitle = {RV}, crossref = {conf/rv/2020}, editor = {Deshmukh, Jyotirmoy and Nickovic, Dejan}, ee = {https://doi.org/10.1007/978-3-030-60508-7_24}, interhash = {e6b5c7d4632640fcd1ed55021073ed8c}, intrahash = {6f04bd2e46ff53a2fd2946703ea4de6d}, isbn = {978-3-030-60508-7}, keywords = {dblp}, pages = {431-450}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T08:27:44.000+0200}, title = {Verified Rust Monitors for Lola Specifications.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2020.html#FinkbeinerOPS20}, volume = 12399, year = 2020 }