Automata with modulo counters and nondeterministic counter bounds

Daniel Reidenbach, Markus L. Schmid. Automata with modulo counters and nondeterministic counter bounds. Kybernetika, 50(1):66-94, 2014. [doi]

Abstract

Abstract is missing.