TY  - RPRT
TI  - Deciding Unambiguity and Sequentiality starting from a Finitely Ambiguous Max-Plus Automaton
AU  - Ines Klimann
AU  - Sylvain Lombardy
AU  - Jean Mairesse
AU  - Christophe Prieur
PY  - 2007
DO  - 10.1016/j.tcs.2004.02.049
UR  - https://arxiv.org/abs/0709.4117
ID  - 0709.4117
ER  -