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]