TY  - RPRT
TI  - An Algebraic Framework for Runtime Verification
AU  - Stefan Jaksic
AU  - Ezio Bartocci
AU  - Radu Grosu
AU  - Dejan Nickovic
PY  - 2018
UR  - https://arxiv.org/abs/1802.03775
ID  - 1802.03775
ER  -