TY  - RPRT
TI  - Semantics and Algorithms for Parametric Monitoring
AU  - Grigore Rosu
AU  - Feng Chen
PY  - 2012
DO  - 10.2168/lmcs-8(1:9)2012
UR  - https://arxiv.org/abs/1112.5761
ID  - 1112.5761
ER  -