TY  - JOUR
AU  - Reidenbach, Daniel
AU  - Schmid, Markus L.
TI  - Automata with modulo counters and nondeterministic counter bounds
JO  - Kybernetika
PY  - 2014
SP  - 66
EP  - 94
VL  - 50
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.14736/kyb-2014-1-0066/
DO  - 10.14736/kyb-2014-1-0066
LA  - en
ID  - 10_14736_kyb_2014_1_0066
ER  -