Formalization and Verification of VANET.

Ran Li, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu

Browse the full SEKE paper archive.