TY  - RPRT
TI  - Symbolic Monitoring against Specifications Parametric in Time and Data
AU  - Masaki Waga
AU  - Étienne André
AU  - Ichiro Hasuo
PY  - 2019
DO  - 10.1007/978-3-030-25540-4_30
UR  - https://arxiv.org/abs/1905.04486
ID  - 1905.04486
ER  -