%0 Conference Paper %1 conf/vnc/LeeOYSOI09 %A Lee, Gyesik %A Oguma, Hisashi %A Yoshioka, Akira %A Shigetomi, Rie %A Otsuka, Akira %A Imai, Hideki %B VNC %D 2009 %I IEEE %K dblp %P 1-7 %T Formally verifiable features in embedded vehicular security systems. %U http://dblp.uni-trier.de/db/conf/vnc/vnc2009.html#LeeOYSOI09 %@ 978-1-4244-5687-1

@inproceedings{conf/vnc/LeeOYSOI09, added-at = {2016-01-26T00:00:00.000+0100}, author = {Lee, Gyesik and Oguma, Hisashi and Yoshioka, Akira and Shigetomi, Rie and Otsuka, Akira and Imai, Hideki}, biburl = {https://www.bibsonomy.org/bibtex/2be06d89b5f50ee9439d4ae1bb55cca3f/dblp}, booktitle = {VNC}, crossref = {conf/vnc/2009}, ee = {http://dx.doi.org/10.1109/VNC.2009.5416378}, interhash = {937509615442665e469e9f85ca6f4e28}, intrahash = {be06d89b5f50ee9439d4ae1bb55cca3f}, isbn = {978-1-4244-5687-1}, keywords = {dblp}, pages = {1-7}, publisher = {IEEE}, timestamp = {2016-01-27T11:39:04.000+0100}, title = {Formally verifiable features in embedded vehicular security systems.}, url = {http://dblp.uni-trier.de/db/conf/vnc/vnc2009.html#LeeOYSOI09}, year = 2009 }