Lding, C.: Optimal bounds for the transformation of omega-automata. In: FSTTCS'99. Volume 1738 of Lecture Notes in Computer Science., Springer (1999) 97--109 Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Experiments with Deterministic ω-Automata for Formulas.. - Klein, Baier (2005) (Correct)
No context found.
Lding, C.: Optimal bounds for the transformation of omega-automata. In: FSTTCS'99. Volume 1738 of Lecture Notes in Computer Science., Springer (1999) 97--109
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC