Skip to main content

Research Repository

Advanced Search

Automata with Modulo Counters and Nondeterministic Counter Bounds

Reidenbach, Daniel; Schmid, Markus L.

Authors

Daniel Reidenbach

Markus L. Schmid



Citation

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

Presentation Conference Type Conference Paper (published)
Conference Name 17th International Conference, CIAA 2012
Start Date Jul 17, 2012
End Date Jul 20, 2012
Publication Date 2012
Deposit Date Dec 14, 2023
Pages 361-368
ISBN 9783642316050; 9783642316067
DOI https://doi.org/10.1007/978-3-642-31606-7_33
Public URL https://keele-repository.worktribe.com/output/668022
Publisher URL https://link.springer.com/book/10.1007/978-3-642-31606-7


Downloadable Citations