TY  - RPRT
TI  - From Model Checking to Runtime Verification and Back
AU  - Katarína Kejstová
AU  - Petr Ročkai
AU  - Jiří Barnat
PY  - 2018
DO  - 10.1007/978-3-319-67531-2_14
UR  - https://arxiv.org/abs/1805.12428
ID  - 1805.12428
ER  -