Reidenbach, D., & Schmid, M. L. (2012, July). Automata with Modulo Counters and Nondeterministic Counter Bounds. Presented at 17th International Conference, CIAA 2012, Porto, Portugal