%0 Journal Article %1 journals/iandc/FogartyKVW15 %A Fogarty, Seth %A Kupferman, Orna %A Vardi, Moshe Y. %A Wilke, Thomas %D 2015 %J Inf. Comput. %K %P 136-151 %T Profile trees for Büchi word automata, with application to determinization. %U http://dblp.uni-trier.de/db/journals/iandc/iandc245.html#FogartyKVW15 %V 245

@article{journals/iandc/FogartyKVW15, added-at = {2023-12-14T15:37:00.000+0100}, author = {Fogarty, Seth and Kupferman, Orna and Vardi, Moshe Y. and Wilke, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2be62c4818528ba8dbbbe904b57ef2633/admin}, ee = {http://dx.doi.org/10.1016/j.ic.2014.12.021}, interhash = {ed698e8ac97979141017b5217a568719}, intrahash = {be62c4818528ba8dbbbe904b57ef2633}, journal = {Inf. Comput.}, keywords = {}, pages = {136-151}, timestamp = {2023-12-14T15:37:00.000+0100}, title = {Profile trees for Büchi word automata, with application to determinization.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc245.html#FogartyKVW15}, volume = 245, year = 2015 }