Modeling and verifying NDN-based IoV using CSP[J] JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS 2021 Chen, Ningning Zhu, Huibiao Yin, Jiaqi Fei, Yuan Xiao, Lili Zhu, Minghua
