Skip to main content

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