Joachim Klein, Christel Baier. On-the-Fly Stuttering in the Construction of Deterministic ::::omega:::: -Automata. In Jan Holub, Jan Zdárek, editors, Implementation and Application of Automata, 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers. Volume 4783 of Lecture Notes in Computer Science, pages 51-61, Springer, 2007. [doi]
Abstract is missing.