@misc{indiciae9e1ce91d49bb, title = {The Triple-Pair Construction for Weighted \$ω\$-Pushdown Automata}, author = {Manfred Droste and Zoltán Ésik and Werner Kuich}, year = {2017}, doi = {10.4204/eptcs.252.12}, url = {https://arxiv.org/abs/1708.06463}, note = {Source identifier: 1708.06463} }