TY - JOUR AU - Kirsten, Daniel TI - A burnside approach to the termination of Mohri's algorithm for polynomially ambiguous Min-Plus-automata JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2008 SP - 553 EP - 581 VL - 42 IS - 3 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/ita:2008017/ DO - 10.1051/ita:2008017 LA - en ID - ITA_2008__42_3_553_0 ER -