Distribution
supplierxml.listelement.badge

Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking

No Thumbnail Available

Format

supplierxml

Authors

Journal ISSN

Publisher

Dataset

No Thumbnail Available
Dataset
Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking
(MDPI AG, 2022) Yang Liu; Ziyu Zhou; Yongsheng Yang; Yan Ma

Description

Keywords

URI

https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/36372

Files

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
systems-10-01-00019.xml
Size:
157.02 KB
Format:
Extensible Markup Language
Download