%0 Conference Paper %1 conf/stoc/AlfaroM01 %A de Alfaro, Luca %A Majumdar, Rupak %B STOC %D 2001 %E Vitter, Jeffrey Scott %E Spirakis, Paul G. %E Yannakakis, Mihalis %I ACM %K dblp %P 675-683 %T Quantitative solution of omega-regular games. %U http://dblp.uni-trier.de/db/conf/stoc/stoc2001.html#AlfaroM01 %@ 1-58113-349-9

@inproceedings{conf/stoc/AlfaroM01, added-at = {2018-11-06T00:00:00.000+0100}, author = {de Alfaro, Luca and Majumdar, Rupak}, biburl = {https://www.bibsonomy.org/bibtex/2bbd48cb65b5b82b01493ef8160c25d3f/dblp}, booktitle = {STOC}, crossref = {conf/stoc/2001}, editor = {Vitter, Jeffrey Scott and Spirakis, Paul G. and Yannakakis, Mihalis}, ee = {https://doi.org/10.1145/380752.380871}, interhash = {d8a22dac5b9d68cd061cc705334bfff0}, intrahash = {bbd48cb65b5b82b01493ef8160c25d3f}, isbn = {1-58113-349-9}, keywords = {dblp}, pages = {675-683}, publisher = {ACM}, timestamp = {2018-11-07T16:09:32.000+0100}, title = {Quantitative solution of omega-regular games.}, url = {http://dblp.uni-trier.de/db/conf/stoc/stoc2001.html#AlfaroM01}, year = 2001 }