Distribution
PDF

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

No Thumbnail Available

Format

pdf

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/36371

Files

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
systems-10-01-00019.pdf
Size:
5.36 MB
Format:
Adobe Portable Document Format
Download