TY - JOUR
AU - Stefan Jaksic
AU - Ezio Bartocci
AU - Radu Grosu
AU - Dejan Nickovic
BT - CoRR
LA - eng
PY - 2018
T2 - CoRR
TI - An Algebraic Framework for Runtime Verification
UR - http://arxiv.org/abs/1802.03775
VL - abs/1802.03775
ER -