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]
@inproceedings{AlthoffTW05,
title = {Observations on Determinization of Büchi Automata},
author = {Christoph Schulte Althoff and Wolfgang Thomas and Nico Wallmeier},
year = {2005},
doi = {10.1007/11605157_22},
url = {http://dx.doi.org/10.1007/11605157_22},
researchr = {https://researchr.org/publication/AlthoffTW05},
cites = {0},
citedby = {0},
pages = {262-272},
booktitle = {Implementation and Application of Automata, 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers},
editor = {Jacques Farré and Igor Litovsky and Sylvain Schmitz},
volume = {3845},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-31023-1},
}