Typeness for omega-Regular Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Orna Kupferman, Gila Morgenstern, Aniello Murano. Typeness for omega-Regular Automata. In Farn Wang, editor, Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings. Volume 3299 of Lecture Notes in Computer Science, pages 324-338, Springer, 2004. [doi]

This author has not been identified. Look up 'Orna Kupferman' in GoogleThis author has not been identified. Look up 'Gila Morgenstern' in GoogleThis author has not been identified. Look up 'Aniello Murano' in Google

runs on WebDSL