%0 Conference Paper %1 journals/corr/FogartyKVW13 %A Fogarty, Seth %A Kupferman, Orna %A Vardi, Moshe Y. %A Wilke, Thomas %B GandALF %D 2013 %E Puppis, Gabriele %E Villa, Tiziano %K %P 107-121 %T Profile Trees for Büchi Word Automata, with Application to Determinization. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs119.html#FogartyKVW13 %V 119

@inproceedings{journals/corr/FogartyKVW13, added-at = {2023-12-12T17:50:52.000+0100}, author = {Fogarty, Seth and Kupferman, Orna and Vardi, Moshe Y. and Wilke, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/274fe514e8e55425b07f05469838921f0/admin}, booktitle = {GandALF}, crossref = {journals/corr/PuppisV13}, editor = {Puppis, Gabriele and Villa, Tiziano}, ee = {http://arxiv.org/abs/1307.4471}, interhash = {09a69c51e69a701acf44bbd6754594ff}, intrahash = {74fe514e8e55425b07f05469838921f0}, keywords = {}, pages = {107-121}, series = {EPTCS}, timestamp = {2023-12-12T17:50:52.000+0100}, title = {Profile Trees for Büchi Word Automata, with Application to Determinization.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs119.html#FogartyKVW13}, volume = 119, year = 2013 }