Promptness in ω-Regular Automata

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15643-4_4 ◽

2010 ◽

pp. 22-36 ◽

Author(s):

Shaull Almagor ◽

Yoram Hirshfeld ◽

Orna Kupferman

Download Full-text