@article{Klimann_2004,
    doi = {10.1016/j.tcs.2004.02.049},
    url = {https://doi.org/10.1016%2Fj.tcs.2004.02.049},
    year = {2004},
    month = {nov},
    publisher = {Elsevier {BV}},
    volume = {327},
    number = {3},
    pages = {349--373},
    author = {Ines Klimann and Sylvain Lombardy and Jean Mairesse and Christophe Prieur},
    title = {Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton},
    journal = {Theoretical Computer Science}
}

@article{Klimann_2004, doi = {10.1016/j.tcs.2004.02.049}, url = {https://doi.org/10.1016%2Fj.tcs.2004.02.049}, year = {2004}, month = {nov}, publisher = {Elsevier {BV}}, volume = {327}, number = {3}, pages = {349--373}, author = {Ines Klimann and Sylvain Lombardy and Jean Mairesse and Christophe Prieur}, title = {Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton}, journal = {Theoretical Computer Science} }