What's Decidable about Weighted Automata?
Shaull Almagor‚ Udi Boker and Orna Kupferman
Book Title
Automated Technology for Verification and Analysis‚ 9th International Symposium‚ ATVA 2011‚ Taipei‚ Taiwan‚ October 11−14‚ 2011. Proceedings
Editor
Tevfik Bultan and Pao−Ann Hsiung
ISBN
978−3−642−24371−4
Pages
482–491
Series
Lecture Notes in Computer Science
Volume
6996
Year
2011