@inproceedings{ICALP-v2-2009-ColcombetZ,
author = "Thomas Colcombet and Konrad Zdanowski",
booktitle = "{Proceedings of the 36th International Colloquium on Automata, Languages and Programming, Part II}",
doi = "10.1007/978-3-642-02930-1_13",
isbn = "978-3-642-02929-5",
pages = "151--162",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata}",
volume = 5556,
year = 2009,
}
Tags: