Minimal Useful Size of Counters for (Real-Time) Multicounter Automata

Viliam Geffert, Zuzana Bednárová. Minimal Useful Size of Counters for (Real-Time) Multicounter Automata. In Jérôme Durand-Lose, Sergey Verlan, editors, Machines, Computations, and Universality - 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings. Volume 10881 of Lecture Notes in Computer Science, pages 105-120, Springer, 2018. [doi]

@inproceedings{GeffertB18,
  title = {Minimal Useful Size of Counters for (Real-Time) Multicounter Automata},
  author = {Viliam Geffert and Zuzana Bednárová},
  year = {2018},
  doi = {10.1007/978-3-319-92402-1_6},
  url = {https://doi.org/10.1007/978-3-319-92402-1_6},
  researchr = {https://researchr.org/publication/GeffertB18},
  cites = {0},
  citedby = {0},
  pages = {105-120},
  booktitle = {Machines, Computations, and Universality - 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings},
  editor = {Jérôme Durand-Lose and Sergey Verlan},
  volume = {10881},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-92402-1},
}