Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking
Description
Toolbox-ID
jz000178-0019
Identifier(s)
https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/36370
Publisher
MDPI AG
License
https://creativecommons.org/licenses/by/4.0/
Subject(s)
DDC(s)
600