%0 Conference Paper %1 conf/eumas/KupfermanPV14 %A Kupferman, Orna %A Perelli, Giuseppe %A Vardi, Moshe Y. %B EUMAS %D 2014 %E Bulling, Nils %I Springer %K dblp %P 219-235 %T Synthesis with Rational Environments. %U http://dblp.uni-trier.de/db/conf/eumas/eumas2014.html#KupfermanPV14 %V 8953 %@ 978-3-319-17129-6

@inproceedings{conf/eumas/KupfermanPV14, added-at = {2017-06-15T00:00:00.000+0200}, author = {Kupferman, Orna and Perelli, Giuseppe and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2374110d4c976fd027ae6920c7f03ec91/dblp}, booktitle = {EUMAS}, crossref = {conf/eumas/2014}, editor = {Bulling, Nils}, ee = {https://doi.org/10.1007/978-3-319-17130-2_15}, interhash = {3423ac516a87aed642f3c58d83a9aefd}, intrahash = {374110d4c976fd027ae6920c7f03ec91}, isbn = {978-3-319-17129-6}, keywords = {dblp}, pages = {219-235}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:46:04.000+0200}, title = {Synthesis with Rational Environments.}, url = {http://dblp.uni-trier.de/db/conf/eumas/eumas2014.html#KupfermanPV14}, volume = 8953, year = 2014 }