%0 Journal Article %1 journals/cie/ValleDFASFW16 %A Valle, Rafael %A Donzé, Alexandre %A Fremont, Daniel J. %A Akkaya, Ilge %A Seshia, Sanjit A. %A Freed, Adrian %A Wessel, David %D 2016 %J Computers in Entertainment %K dblp %N 3 %P 6:1-6:20 %T Specification Mining for Machine Improvisation with Formal Specifications. %U http://dblp.uni-trier.de/db/journals/cie/cie14.html#ValleDFASFW16 %V 14

@article{journals/cie/ValleDFASFW16, added-at = {2018-11-06T00:00:00.000+0100}, author = {Valle, Rafael and Donzé, Alexandre and Fremont, Daniel J. and Akkaya, Ilge and Seshia, Sanjit A. and Freed, Adrian and Wessel, David}, biburl = {https://www.bibsonomy.org/bibtex/2d44188a548bb6e1b6c771a72cc02ed6c/dblp}, ee = {https://doi.org/10.1145/2967504}, interhash = {fff72fffd02e48af30fe7c10f0154cb4}, intrahash = {d44188a548bb6e1b6c771a72cc02ed6c}, journal = {Computers in Entertainment}, keywords = {dblp}, number = 3, pages = {6:1-6:20}, timestamp = {2018-11-07T12:17:43.000+0100}, title = {Specification Mining for Machine Improvisation with Formal Specifications.}, url = {http://dblp.uni-trier.de/db/journals/cie/cie14.html#ValleDFASFW16}, volume = 14, year = 2016 }