Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
%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 = {2023-12-14T16:59:04.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/admin},
ee = {https://doi.org/10.1145/2967504},
interhash = {fff72fffd02e48af30fe7c10f0154cb4},
intrahash = {d44188a548bb6e1b6c771a72cc02ed6c},
journal = {Computers in Entertainment},
keywords = {},
number = 3,
pages = {6:1-6:20},
timestamp = {2023-12-14T16:59:04.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
}