TY - RPRT TI - A Boyer-Moore Type Algorithm for Timed Pattern Matching AU - Masaki Waga AU - Takumi Akazaki AU - Ichiro Hasuo PY - 2016 DO - 10.1007/978-3-319-44878-7_8 UR - https://arxiv.org/abs/1606.07207 ID - 1606.07207 ER -