%0 Conference Paper %1 conf/dac/ZhengLDGZS15 %A Zheng, Bowen %A Li, Wenchao %A Deng, Peng %A Gérard, Léonard %A Zhu, Qi %A Shankar, Natarajan %B DAC %D 2015 %I ACM %K %P 96:1-96:6 %T Design and verification for transportation system security. %U http://dblp.uni-trier.de/db/conf/dac/dac2015.html#ZhengLDGZS15 %@ 978-1-4503-3520-1

@inproceedings{conf/dac/ZhengLDGZS15, added-at = {2023-12-12T22:11:19.000+0100}, author = {Zheng, Bowen and Li, Wenchao and Deng, Peng and Gérard, Léonard and Zhu, Qi and Shankar, Natarajan}, biburl = {https://www.bibsonomy.org/bibtex/203a5869438a22cfa0eab9c87e9972009/admin}, booktitle = {DAC}, crossref = {conf/dac/2015}, ee = {https://doi.org/10.1145/2744769.2747920}, interhash = {47ee058675c78c865f1f1cedab58bb21}, intrahash = {03a5869438a22cfa0eab9c87e9972009}, isbn = {978-1-4503-3520-1}, keywords = {}, pages = {96:1-96:6}, publisher = {ACM}, timestamp = {2023-12-12T22:11:19.000+0100}, title = {Design and verification for transportation system security.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2015.html#ZhengLDGZS15}, year = 2015 }