%0 Conference Paper %1 conf/seke/DuFCZ23 %A Du, Yingjia %A Fei, Yuan %A Chen, Sini %A Zhu, Huibiao %B SEKE %D 2023 %E Chang, Shi-Kuo %I KSI Research Inc. %K dblp %P 404-409 %T Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP. %U http://dblp.uni-trier.de/db/conf/seke/seke2023.html#DuFCZ23 %@ 1-891706-56-X

@inproceedings{conf/seke/DuFCZ23, added-at = {2023-09-30T00:00:00.000+0200}, author = {Du, Yingjia and Fei, Yuan and Chen, Sini and Zhu, Huibiao}, biburl = {https://www.bibsonomy.org/bibtex/21c0de56440a9d7a5d357ddb0e87d7ce4/dblp}, booktitle = {SEKE}, crossref = {conf/seke/2023}, editor = {Chang, Shi-Kuo}, ee = {https://doi.org/10.18293/SEKE2023-172}, interhash = {2f6d6753834d9842b23269727db61af6}, intrahash = {1c0de56440a9d7a5d357ddb0e87d7ce4}, isbn = {1-891706-56-X}, keywords = {dblp}, pages = {404-409}, publisher = {KSI Research Inc.}, timestamp = {2024-04-09T11:51:04.000+0200}, title = {Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP.}, url = {http://dblp.uni-trier.de/db/conf/seke/seke2023.html#DuFCZ23}, year = 2023 }