Nils Klarlund, Madhavan Mukund, Milind A. Sohoni. Determinizing Büchi Asnchronous Automata. In P. S. Thiagarajan, editor, Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings. Volume 1026 of Lecture Notes in Computer Science, pages 456-470, Springer, 1995.
Abstract is missing.