Aida Ghazi Zadeh, Puya Ghazizadeh, Stephan Olariu. Reasoning About a Communication Protocol for Vehicular Cloud Computing Systems. In IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019, Kyoto, Japan, March 11-15, 2019. pages 214-219, IEEE, 2019. [doi]
Abstract is missing.