DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-24372-1_37,3326,ToHe,"What’s decidable about weighted automata"