Carsten Fritz. Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata. In Oscar H. Ibarra, Zhe Dang, editors, Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings. Volume 2759 of Lecture Notes in Computer Science, pages 35-48, Springer, 2003. [doi]
Abstract is missing.