%0 Conference Paper %1 conf/smartcomp/ZhengLLSLZ17 %A Zheng, Bowen %A Lin, Chung-Wei %A Liang, Hengyi %A Shiraishi, Shinichi %A Li, Wenchao %A Zhu, Qi %B SMARTCOMP %D 2017 %I IEEE Computer Society %K dblp %P 1-8 %T Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management. %U http://dblp.uni-trier.de/db/conf/smartcomp/smartcomp2017.html#ZhengLLSLZ17 %@ 978-1-5090-6517-2

@inproceedings{conf/smartcomp/ZhengLLSLZ17, added-at = {2019-09-16T00:00:00.000+0200}, author = {Zheng, Bowen and Lin, Chung-Wei and Liang, Hengyi and Shiraishi, Shinichi and Li, Wenchao and Zhu, Qi}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/231b39802122a40724c81bd2a3d027669/dblp}, booktitle = {SMARTCOMP}, crossref = {conf/smartcomp/2017}, ee = {http://doi.ieeecomputersociety.org/10.1109/SMARTCOMP.2017.7946999}, interhash = {dc96962db23cb789d468696498e85af3}, intrahash = {31b39802122a40724c81bd2a3d027669}, isbn = {978-1-5090-6517-2}, keywords = {dblp}, pages = {1-8}, publisher = {IEEE Computer Society}, timestamp = {2019-09-27T20:01:04.000+0200}, title = {Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management.}, url = {http://dblp.uni-trier.de/db/conf/smartcomp/smartcomp2017.html#ZhengLLSLZ17}, year = 2017 }