Exploring Trusted Data Dissemination in a Vehicular Social Network with a Formal Compositional Approach.

Xiao Chen, Liangmin Wang

Browse the full COMPSAC paper archive.