TY  - RPRT
TI  - MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration
AU  - Masaki Waga
AU  - Ichiro Hasuo
AU  - Kohei Suenaga
PY  - 2018
DO  - 10.1109/mt-cps.2018.00014
UR  - https://arxiv.org/abs/1810.09351
ID  - 1810.09351
ER  -