%0 Conference Paper %1 conf/atva/HunterPR15 %A Hunter, Paul %A Pérez, Guillermo A. %A Raskin, Jean-François %B ATVA %D 2015 %E Finkbeiner, Bernd %E Pu, Geguang %E Zhang, Lijun %I Springer %K dblp %P 429-445 %T Looking at Mean-Payoff Through Foggy Windows. %U http://dblp.uni-trier.de/db/conf/atva/atva2015.html#HunterPR15 %V 9364 %@ 978-3-319-24952-0

@inproceedings{conf/atva/HunterPR15, added-at = {2021-04-08T00:00:00.000+0200}, author = {Hunter, Paul and Pérez, Guillermo A. and Raskin, Jean-François}, biburl = {https://www.bibsonomy.org/bibtex/29acb974f21fbca35ae183f60e3449086/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2015}, editor = {Finkbeiner, Bernd and Pu, Geguang and Zhang, Lijun}, ee = {https://doi.org/10.1007/978-3-319-24953-7_31}, interhash = {c5d52b326e0c65e4f2417c76df787ad5}, intrahash = {9acb974f21fbca35ae183f60e3449086}, isbn = {978-3-319-24952-0}, keywords = {dblp}, pages = {429-445}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T12:16:49.000+0200}, title = {Looking at Mean-Payoff Through Foggy Windows.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2015.html#HunterPR15}, volume = 9364, year = 2015 }