%0 Conference Paper %1 conf/pldi/FremontDGYSS19 %A Fremont, Daniel J. %A Dreossi, Tommaso %A Ghosh, Shromona %A Yue, Xiangyu %A Sangiovanni-Vincentelli, Alberto L. %A Seshia, Sanjit A. %B PLDI %D 2019 %E McKinley, Kathryn S. %E Fisher, Kathleen %I ACM %K dblp %P 63-78 %T Scenic: a language for scenario specification and scene generation. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#FremontDGYSS19 %@ 978-1-4503-6712-7

@inproceedings{conf/pldi/FremontDGYSS19, added-at = {2024-08-14T00:00:00.000+0200}, author = {Fremont, Daniel J. and Dreossi, Tommaso and Ghosh, Shromona and Yue, Xiangyu and Sangiovanni-Vincentelli, Alberto L. and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/2284b667c6d2bfd67ba33b8ba3bb213f6/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2019}, editor = {McKinley, Kathryn S. and Fisher, Kathleen}, ee = {https://doi.org/10.1145/3314221.3314633}, interhash = {7f93e7d589d3fc304310d64532b9d730}, intrahash = {284b667c6d2bfd67ba33b8ba3bb213f6}, isbn = {978-1-4503-6712-7}, keywords = {dblp}, pages = {63-78}, publisher = {ACM}, timestamp = {2024-08-19T07:38:25.000+0200}, title = {Scenic: a language for scenario specification and scene generation.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#FremontDGYSS19}, year = 2019 }