TY - RPRT TI - Efficient Online Timed Pattern Matching by Automata-Based Skipping AU - Masaki Waga AU - Ichiro Hasuo AU - Kohei Suenaga PY - 2017 DO - 10.1007/978-3-319-65765-3_13 UR - https://arxiv.org/abs/1706.09174 ID - 1706.09174 ER -