%0 Conference Paper %1 conf/vnc/SantosSS16 %A dos Santos, Eduardo %A Schoop, Dominik %A Simpson, Andrew %B VNC %D 2016 %I IEEE %K dblp %P 1-8 %T Formal models for automotive systems and vehicular networks: Benefits and challenges. %U http://dblp.uni-trier.de/db/conf/vnc/vnc2016.html#SantosSS16 %@ 978-1-5090-5197-7

@inproceedings{conf/vnc/SantosSS16, added-at = {2023-06-26T00:00:00.000+0200}, author = {dos Santos, Eduardo and Schoop, Dominik and Simpson, Andrew}, biburl = {https://www.bibsonomy.org/bibtex/2d19c14e2dfbf4bb9a0af17719bcdae37/dblp}, booktitle = {VNC}, crossref = {conf/vnc/2016}, ee = {https://doi.org/10.1109/VNC.2016.7835940}, interhash = {184ada931b5bc32ac01e7022c7740d90}, intrahash = {d19c14e2dfbf4bb9a0af17719bcdae37}, isbn = {978-1-5090-5197-7}, keywords = {dblp}, pages = {1-8}, publisher = {IEEE}, timestamp = {2024-04-10T05:53:16.000+0200}, title = {Formal models for automotive systems and vehicular networks: Benefits and challenges.}, url = {http://dblp.uni-trier.de/db/conf/vnc/vnc2016.html#SantosSS16}, year = 2016 }