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/corr/abs-2010-06580
%A Fremont, Daniel J.
%A Kim, Edward
%A Dreossi, Tommaso
%A Ghosh, Shromona
%A Yue, Xiangyu
%A Sangiovanni-Vincentelli, Alberto L.
%A Seshia, Sanjit A.
%D 2020
%J CoRR
%K dblp
%T Scenic: A Language for Scenario Specification and Data Generation.
%U http://dblp.uni-trier.de/db/journals/corr/corr2010.html#abs-2010-06580
%V abs/2010.06580
@article{journals/corr/abs-2010-06580,
added-at = {2023-10-26T00:00:00.000+0200},
author = {Fremont, Daniel J. and Kim, Edward and Dreossi, Tommaso and Ghosh, Shromona and Yue, Xiangyu and Sangiovanni-Vincentelli, Alberto L. and Seshia, Sanjit A.},
biburl = {https://www.bibsonomy.org/bibtex/2fbc419442580cb9890048c8589aa1719/dblp},
ee = {https://arxiv.org/abs/2010.06580},
interhash = {9891b4d61db9614add15a0cbaf62fba3},
intrahash = {fbc419442580cb9890048c8589aa1719},
journal = {CoRR},
keywords = {dblp},
timestamp = {2024-04-09T00:22:14.000+0200},
title = {Scenic: A Language for Scenario Specification and Data Generation.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2010.html#abs-2010-06580},
volume = {abs/2010.06580},
year = 2020
}