Christoph Schulte Althoff, Wolfgang Thomas, Nico Wallmeier. Observations on Determinization of Büchi Automata. In Jacques Farré, Igor Litovsky, Sylvain Schmitz, editors, Implementation and Application of Automata, 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers. Volume 3845 of Lecture Notes in Computer Science, pages 262-272, Springer, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.