@Inproceedings{EPTCS252.12, author = {Droste, Manfred and \'Esik, Zolt\'an and Kuich, Werner}, year = {2017}, title = {The Triple-Pair Construction for Weighted $\omega$-Pushdown Automata}, editor = {Csuhaj-Varj\'u, Erzs\'ebet and D\"om\"osi, P\'al and Vaszil, Gy\"orgy}, booktitle = {{\rm Proceedings 15th International Conference on} Automata and Formal Languages, {\rm Debrecen, Hungary, September 4-6, 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {252}, publisher = {Open Publishing Association}, pages = {101-113}, doi = {10.4204/EPTCS.252.12}, }