k-counting automata
and
RAIRO-Theor. Inf. Appl., 46 4 (2012) 461-478
Published online: 10 October 2012
DOI: 10.1051/ita/2012021
