@inproceedings{KlimczakRoemerWolff2017, author = {Peter Klimczak and Ronald R{\"o}mer and Matthias Wolff}, title = {Ein Beitrag zur Formalisierung Finaler Systeme}, booktitle = {Tagungsband der 28. Konferenz Elektronische Sprachsignalverarbeitung (ESSV), 15.-17.03.2017, Saarbr{\"u}cken}, editor = {J{\"u}rgen Trouvain and Ingmar Steiner and Bernd M{\"o}bius}, pages = {228 -- 237}, year = {2017}, }