A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata
RAIRO-Theor. Inf. Appl., 42 3 (2008) 553-581
Published online: 03 June 2008
DOI: 10.1051/ita:2008017