Determinizing Büchi Asnchronous Automata

• Authors:

• Nils Klarlund;Madhavan Mukund;Milind A. Sohoni

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
• Year:
• 1995