DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:IST-2015-170-v2-2,5436,"KrCh,ToHe",Nested weighted automata