@article{41,
  author = {Stefan Jaksic and Ezio Bartocci and Radu Grosu and Dejan Nickovic},
  title = {An Algebraic Framework for Runtime Verification},
  year = {2018},
  journal = {CoRR},
  volume = {abs/1802.03775},
  url = {http://arxiv.org/abs/1802.03775},
  language = {eng},
}