TY  - RPRT
TI  - Model Checking Regular Language Constraints
AU  - Arlen Cox
AU  - Jason Leasure
PY  - 2017
UR  - https://arxiv.org/abs/1708.09073
ID  - 1708.09073
ER  -