TY  - RPRT
TI  - Runtime Verification Based on Register Automata
AU  - Radu Grigore
AU  - Dino Distefano
AU  - Rasmus Lerchedahl Petersen
AU  - Nikos Tzevelekos
PY  - 2015
UR  - https://arxiv.org/abs/1209.5325
ID  - 1209.5325
ER  -