@inproceedings{48,
  author = {Ramy Medhat and Borzoo Bonakdarpour and Sebastian Fischmeister and Yogi Joshi},
  title = {Accelerated Runtime Verification of LTL Specifications with Counting Semantics},
  year = {2016},
  journal = {International Conference on Runtime Verification},
  pages = {251-267},
  address = {Madrid, Spain},
  doi = {10.1007/978-3-319-46982-9_16},
}