TY  - RPRT
TI  - Parametric Timed Pattern Matching
AU  - Masaki Waga
AU  - Étienne André
AU  - Ichiro Hasuo
PY  - 2024
DO  - 10.1145/3517194
UR  - https://arxiv.org/abs/1903.07328
ID  - 1903.07328
ER  -