%0 Journal Article
%B CoRR
%D 2018
%G eng
%T An Algebraic Framework for Runtime Verification
%U http://arxiv.org/abs/1802.03775
%V abs/1802.03775