BibTeX record conf/seke/ZhuXYFLL20

• > Home > conf/seke/ZhuXYFLL20

@inproceedings{DBLP:conf/seke/ZhuXYFLL20,
  author       = {Ran Li and
                  Huibiao Zhu and
                  Lili Xiao and
                  Jiaqi Yin and
                  Yuan Fei and
                  Gang Lu},
  editor       = {Ra{\'{u}}l Garc{\'{\i}}a{-}Castro},
  title        = {Formalization and Verification of {VANET}},
  booktitle    = {The 32nd International Conference on Software Engineering and Knowledge
                  Engineering, {SEKE} 2020, {KSIR} Virtual Conference Center, USA, July
                  9-19, 2020},
  pages        = {1--6},
  publisher    = {{KSI} Research Inc.},
  year         = {2020},
  url          = {https://doi.org/10.18293/SEKE2020-011},
  doi          = {10.18293/SEKE2020-011},
  timestamp    = {Mon, 05 Feb 2024 20:35:18 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/ZhuXYFLL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}