Ines Klimann, Sylvain Lombardy, Jean Mairesse, Christophe Prieur. Deciding the sequentiality of a finitely ambiguous max-plus automaton.
7th International Conference on Developments in Language Theory (DLT 2003), Jul 2003, Szeged, Hungary, Hungary. pp.373-385.
⟨hal-00620031⟩