TY  - RPRT
TI  - Verified Rust Monitors for Lola Specifications
AU  - Bernd Finkbeiner
AU  - Stefan Oswald
AU  - Noemi Passing
AU  - Maximilian Schwenger
PY  - 2020
DO  - 10.1007/978-3-030-60508-7\_24
UR  - https://arxiv.org/abs/2012.08961
ID  - 2012.08961
ER  -