Typeness for ω-Regular Automata

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

10.1007/978-3-540-30476-0_27 ◽

2004 ◽

pp. 324-338 ◽

Author(s):

Orna Kupferman ◽

Gila Morgenstern ◽

Aniello Murano

Download Full-text