Manfred Droste, Zoltán Ésik, Werner Kuich
The Triple-Pair Construction for Weighted ω-Pushdown Automata
AFL, 2017.
@inproceedings{AFL-2017-DrosteEK, author = "Manfred Droste and Zoltán Ésik and Werner Kuich", booktitle = "{Proceedings 15th International Conference on Automata and Formal Languages}", doi = "10.4204/EPTCS.252.12", ee = "http://arxiv.org/abs/1708.06463", pages = "101--113", title = "{The Triple-Pair Construction for Weighted ω-Pushdown Automata}", year = 2017, }