Manfred Droste, Stefan Dück
Weighted Automata and Logics for Infinite Nested Words
LATA, 2014.
@inproceedings{LATA-2014-DrosteD,
author = "Manfred Droste and Stefan Dück",
booktitle = "{Proceedings of the Eighth International Conference on Language and Automata Theory and Applications}",
doi = "10.1007/978-3-319-04921-2_26",
isbn = "978-3-319-04920-5",
pages = "323--334",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Weighted Automata and Logics for Infinite Nested Words}",
volume = 8370,
year = 2014,
}











