BibTeX record conf/seke/ZhangYZC21

• > Home > conf/seke/ZhangYZC21

@inproceedings{DBLP:conf/seke/ZhangYZC21,
  author       = {Hongqin Zhang and
                  Jiaqi Yin and
                  Huibiao Zhu and
                  Ningning Chen},
  editor       = {Shi{-}Kuo Chang},
  title        = {Formal Modeling and Verification of ICN-IoT Middleware Architecture
                  {(S)}},
  booktitle    = {The 33rd International Conference on Software Engineering and Knowledge
                  Engineering, {SEKE} 2021, {KSIR} Virtual Conference Center, USA, July
                  1 - July 10, 2021},
  pages        = {102--107},
  publisher    = {{KSI} Research Inc.},
  year         = {2021},
  url          = {https://doi.org/10.18293/SEKE2021-003},
  doi          = {10.18293/SEKE2021-003},
  timestamp    = {Wed, 21 Sep 2022 17:47:55 +0200},
  biburl       = {https://dblp.org/rec/conf/seke/ZhangYZC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}