Ningning Chen, Huibiao Zhu, Jiaqi Yin, Yuan-fei, Lili Xiao, Minghua Zhu. Modeling and verifying NDN-based IoV using CSP. Journal of Software Maintenance, 34(10), 2022. [doi]
@article{ChenZYFXZ22, title = {Modeling and verifying NDN-based IoV using CSP}, author = {Ningning Chen and Huibiao Zhu and Jiaqi Yin and Yuan-fei and Lili Xiao and Minghua Zhu}, year = {2022}, doi = {10.1002/smr.2371}, url = {https://doi.org/10.1002/smr.2371}, researchr = {https://researchr.org/publication/ChenZYFXZ22}, cites = {0}, citedby = {0}, journal = {Journal of Software Maintenance}, volume = {34}, number = {10}, }