Deciding Unambiguity and Sequentiality of Polynomially Ambiguous min-plus Automata

Authors: 
Kirsten, D.
Lombardy, S.
Year: 
2009
Appeared / Erschienen in: 
In S. Albers and J.-Y. Marion, editors, STACS'09 proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009.