Colange, M., Racordon, D., & Buchs, D. (2015). Computing Bounds for Counter Automata. Electronic Communications of the EASST, 72. https://doi.org/10.14279/tuj.eceasst.72.1016