@inproceedings{ABK11, author = "S. Almagor and U. Boker and O. Kupferman", title = "What's decidable about weighted automata?", booktitle = atva11, series = lncs, volume = "?", pages = "?", publisher = springer, year = 2011 }