[1]
M. Colange, D. Racordon, and D. Buchs, “Computing Bounds for Counter Automata”, ECEASST, vol. 72, Nov. 2015.