@article{10_14736_kyb_2014_1_0066,
     author = {Reidenbach, Daniel and Schmid, Markus L.},
     title = {Automata with modulo counters and nondeterministic counter bounds},
     journal = {Kybernetika},
     pages = {66--94},
     publisher = {mathdoc},
     volume = {50},
     number = {1},
     year = {2014},
     doi = {10.14736/kyb-2014-1-0066},
     mrnumber = {3195005},
     zbl = {06296992},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.14736/kyb-2014-1-0066/}
}