%0 Conference Paper %1 conf/hicons/SadighDBSS14 %A Sadigh, Dorsa %A Driggs-Campbell, Katherine Rose %A Bajcsy, Ruzena %A Sastry, S. Shankar %A Seshia, Sanjit A. %B HiCoNS %D 2014 %E Bushnell, Linda %E Rohrbough, Larry %E Amin, Saurabh %E Koutsoukos, Xenofon D. %I ACM %K dblp %P 63-64 %T User interface design and verification for semi-autonomous driving. %U http://dblp.uni-trier.de/db/conf/hicons/hicons2014.html#SadighDBSS14 %@ 978-1-4503-2652-0

@inproceedings{conf/hicons/SadighDBSS14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Sadigh, Dorsa and Driggs-Campbell, Katherine Rose and Bajcsy, Ruzena and Sastry, S. Shankar and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/26bfa83a1e16503b90f95c7695b681331/dblp}, booktitle = {HiCoNS}, crossref = {conf/hicons/2014}, editor = {Bushnell, Linda and Rohrbough, Larry and Amin, Saurabh and Koutsoukos, Xenofon D.}, ee = {https://doi.org/10.1145/2566468.2576851}, interhash = {318d547c79c3f655d4827e66b65aaa3e}, intrahash = {6bfa83a1e16503b90f95c7695b681331}, isbn = {978-1-4503-2652-0}, keywords = {dblp}, pages = {63-64}, publisher = {ACM}, timestamp = {2018-11-07T14:23:27.000+0100}, title = {User interface design and verification for semi-autonomous driving.}, url = {http://dblp.uni-trier.de/db/conf/hicons/hicons2014.html#SadighDBSS14}, year = 2014 }