Title | An Algebraic Framework for Runtime Verification |
Publication Type | Journal Article |
Year of Publication | 2018 |
Authors | Jaksic, Stefan, Bartocci Ezio, Grosu Radu, and Nickovic Dejan |
Journal | CoRR |
Volume | abs/1802.03775 |
URL | http://arxiv.org/abs/1802.03775 |