@dblp

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

, and . COMPSAC Workshops, page 616-617. IEEE Computer Society, (2016)978-1-4673-8845-0.

Links and resources

Tags