All Outputs (21)

Automata with Modulo Counters and Nondeterministic Counter Bounds (2012)
Conference Proceeding
Reidenbach, D., & Schmid, M. L. (2012). Automata with Modulo Counters and Nondeterministic Counter Bounds. . https://doi.org/10.1007/978-3-642-31606-7_33