%0 Conference Paper %1 conf/isaac/FrederiksenM13 %A Frederiksen, Søren Kristoffer Stiil %A Miltersen, Peter Bro %B ISAAC %D 2013 %E Cai, Leizhen %E Cheng, Siu-Wing %E Lam, Tak Wah %I Springer %K dblp %P 457-467 %T Approximating the Value of a Concurrent Reachability Game in the Polynomial Time Hierarchy. %U http://dblp.uni-trier.de/db/conf/isaac/isaac2013.html#FrederiksenM13 %V 8283 %@ 978-3-642-45029-7

@inproceedings{conf/isaac/FrederiksenM13, added-at = {2017-05-19T00:00:00.000+0200}, author = {Frederiksen, Søren Kristoffer Stiil and Miltersen, Peter Bro}, biburl = {https://www.bibsonomy.org/bibtex/2a0ae6b61c5c237fb544bb822ffeeaf95/dblp}, booktitle = {ISAAC}, crossref = {conf/isaac/2013}, editor = {Cai, Leizhen and Cheng, Siu-Wing and Lam, Tak Wah}, ee = {https://doi.org/10.1007/978-3-642-45030-3_43}, interhash = {b6ed841b6ee2971eda0864b8d56ffd71}, intrahash = {a0ae6b61c5c237fb544bb822ffeeaf95}, isbn = {978-3-642-45029-7}, keywords = {dblp}, pages = {457-467}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:58:02.000+0200}, title = {Approximating the Value of a Concurrent Reachability Game in the Polynomial Time Hierarchy.}, url = {http://dblp.uni-trier.de/db/conf/isaac/isaac2013.html#FrederiksenM13}, volume = 8283, year = 2013 }