%0 Conference Paper %1 conf/cav/BrenguierR15 %A Brenguier, Romain %A Raskin, Jean-François %B CAV (2) %D 2015 %E Kroening, Daniel %E Pasareanu, Corina S. %I Springer %K %P 251-267 %T Pareto Curves of Multidimensional Mean-Payoff Games. %U http://dblp.uni-trier.de/db/conf/cav/cav2015.html#BrenguierR15 %V 9207 %@ 978-3-319-21667-6

@inproceedings{conf/cav/BrenguierR15, added-at = {2023-12-12T23:37:32.000+0100}, author = {Brenguier, Romain and Raskin, Jean-François}, biburl = {https://www.bibsonomy.org/bibtex/21cdf3f12a0b848e449b413dad3f42d71/admin}, booktitle = {CAV (2)}, crossref = {conf/cav/2015}, editor = {Kroening, Daniel and Pasareanu, Corina S.}, ee = {https://doi.org/10.1007/978-3-319-21668-3_15}, interhash = {580bf04c27574b91acfcfc67c074cb8b}, intrahash = {1cdf3f12a0b848e449b413dad3f42d71}, isbn = {978-3-319-21667-6}, keywords = {}, pages = {251-267}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T23:37:32.000+0100}, title = {Pareto Curves of Multidimensional Mean-Payoff Games.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2015.html#BrenguierR15}, volume = 9207, year = 2015 }