A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata

• Authors:

• Edmund M. Clarke;I. A. Browne;Robert P. Kurshan

• Affiliations:

• -;-;-

• Venue:
• CAAP '90 Proceedings of the 15th Colloquium on Trees in Algebra and Programming
• Year:
• 1990