%0 Journal Article %1 journals/jacm/ChatterjeeH14 %A Chatterjee, Krishnendu %A Henzinger, Monika %D 2014 %J J. ACM %K dblp %N 3 %P 15:1-15:40 %T Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition. %U http://dblp.uni-trier.de/db/journals/jacm/jacm61.html#ChatterjeeH14 %V 61

@article{journals/jacm/ChatterjeeH14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Chatterjee, Krishnendu and Henzinger, Monika}, biburl = {https://www.bibsonomy.org/bibtex/2b4b1893a9f551e32a21e5e21723f0de0/dblp}, ee = {https://doi.org/10.1145/2597631}, interhash = {e64c9036ca2332899a2a8f40efe9cb46}, intrahash = {b4b1893a9f551e32a21e5e21723f0de0}, journal = {J. ACM}, keywords = {dblp}, number = 3, pages = {15:1-15:40}, timestamp = {2018-11-07T12:10:10.000+0100}, title = {Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm61.html#ChatterjeeH14}, volume = 61, year = 2014 }