Promptness in omega−Regular Automata
Shaull Almagor‚ Yoram Hirshfeld and Orna Kupferman
Book Title
Automated Technology for Verification and Analysis − 8th International Symposium‚ ATVA 2010‚ Singapore‚ September 21−24‚ 2010. Proceedings
Editor
Ahmed Bouajjani and Wei−Ngan Chin
ISBN
978−3−642−15642−7
Pages
22–36
Series
Lecture Notes in Computer Science
Volume
6252
Year
2010