TY  - RPRT
TI  - Accelerated Runtime Verification of LTL Specifications with Counting Semantics
AU  - Ramy Medhat
AU  - Yogi Joshi
AU  - Borzoo Bonakdarpour
AU  - Sebastian Fischmeister
PY  - 2014
UR  - https://arxiv.org/abs/1411.2239
ID  - 1411.2239
ER  -