TY  - RPRT
TI  - On the Complexity of Verifying Regular Properties on Flat Counter Systems
AU  - Stéphane Demri
AU  - Amit Kumar Dhar
AU  - Arnaud Sangnier
PY  - 2013
UR  - https://arxiv.org/abs/1304.6301
ID  - 1304.6301
ER  -