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