@conference{aufsatz59122,
    affiliation = {Grundlagen der Programmierung},
    title = {Myhill-Nerode theorem for sequential transducers over unique GCD-monoids},
    journal = {Proceedings of the 9th International Conference on Implementation and Application of Automata, LNCS 3317},
    keywords = {weighted transducers},
    pages = {323--324},
    year = {2004},
    peerreview = {Ja},
    openaccess = {Ja},
    doi = {http://wwwtcs.inf.tu-dresden.de/~maletti/pub/mal04b.pdf},
    author = {Maletti, Andreas}
}