TY  - RPRT
TI  - Exemplifying parametric timed specifications over signals with bounded behavior
AU  - Étienne André
AU  - Masaki Waga
AU  - Natsuki Urabe
AU  - Ichiro Hasuo
PY  - 2022
DO  - 10.1007/978-3-031-06773-0_25
UR  - https://arxiv.org/abs/2203.13247
ID  - 2203.13247
ER  -