A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata.

Thomas Colcombet Konrad Zdanowski A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata. 151-162 2009 ICALP (2) http://dx.doi.org/10.1007/978-3-642-02930-1_13 conf/icalp/2009-2 db/conf/icalp/icalp2009-2.html#ColcombetZ09