BibTeX record conf/seke/DuFCZ23

• > Home > conf/seke/DuFCZ23

@inproceedings{DBLP:conf/seke/DuFCZ23,
  author       = {Yingjia Du and
                  Yuan Fei and
                  Sini Chen and
                  Huibiao Zhu},
  editor       = {Shi{-}Kuo Chang},
  title        = {Formalization and Verification of Data Auction Mechanism Based on
                  Smart Contract Using {CSP}},
  booktitle    = {The 35th International Conference on Software Engineering and Knowledge
                  Engineering, {SEKE} 2023, {KSIR} Virtual Conference Center, USA, July
                  1-10, 2023},
  pages        = {404--409},
  publisher    = {{KSI} Research Inc.},
  year         = {2023},
  url          = {https://doi.org/10.18293/SEKE2023-172},
  doi          = {10.18293/SEKE2023-172},
  timestamp    = {Sat, 30 Sep 2023 09:56:04 +0200},
  biburl       = {https://dblp.org/rec/conf/seke/DuFCZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}