%0 Conference Paper %1 conf/tacas/BohyBFR13 %A Bohy, Aaron %A Bruyère, Véronique %A Filiot, Emmanuel %A Raskin, Jean-François %B TACAS %D 2013 %E Piterman, Nir %E Smolka, Scott A. %I Springer %K dblp %P 169-184 %T Synthesis from LTL Specifications with Mean-Payoff Objectives. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2013.html#BohyBFR13 %V 7795 %@ 978-3-642-36741-0

@inproceedings{conf/tacas/BohyBFR13, added-at = {2017-05-24T00:00:00.000+0200}, author = {Bohy, Aaron and Bruyère, Véronique and Filiot, Emmanuel and Raskin, Jean-François}, biburl = {https://www.bibsonomy.org/bibtex/23f75ca23eb442508fc63f508aa62dc1b/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2013}, editor = {Piterman, Nir and Smolka, Scott A.}, ee = {https://doi.org/10.1007/978-3-642-36742-7_12}, interhash = {7d7ed888a64dd1b5d57d91348983c1e5}, intrahash = {3f75ca23eb442508fc63f508aa62dc1b}, isbn = {978-3-642-36741-0}, keywords = {dblp}, pages = {169-184}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:36:55.000+0200}, title = {Synthesis from LTL Specifications with Mean-Payoff Objectives.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2013.html#BohyBFR13}, volume = 7795, year = 2013 }