%0 Conference Paper %1 conf/compsac/ChenW16 %A Chen, Xiao %A Wang, Liangmin %B COMPSAC Workshops %D 2016 %I IEEE Computer Society %K dblp %P 616-617 %T Exploring Trusted Data Dissemination in a Vehicular Social Network with a Formal Compositional Approach. %U http://dblp.uni-trier.de/db/conf/compsac/compsac2016w.html#ChenW16 %@ 978-1-4673-8845-0

@inproceedings{conf/compsac/ChenW16, added-at = {2016-08-29T00:00:00.000+0200}, author = {Chen, Xiao and Wang, Liangmin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/231df743f8c7f037eee3997b963af35b6/dblp}, booktitle = {COMPSAC Workshops}, crossref = {conf/compsac/2016w}, ee = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2016.114}, interhash = {bf85278b6f194083eda1f09e8b04faf6}, intrahash = {31df743f8c7f037eee3997b963af35b6}, isbn = {978-1-4673-8845-0}, keywords = {dblp}, pages = {616-617}, publisher = {IEEE Computer Society}, timestamp = {2016-09-20T09:36:37.000+0200}, title = {Exploring Trusted Data Dissemination in a Vehicular Social Network with a Formal Compositional Approach.}, url = {http://dblp.uni-trier.de/db/conf/compsac/compsac2016w.html#ChenW16}, year = 2016 }