root.skip-to-content
Log In
Log in with Shibboleth
Communities & Collections
Browse TUstorage
Statistics
Log In
Log in with Shibboleth
Home
Public Test Area
Distributionen
MDPI AG
Periodika
Systems
2022
Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking
Distribution
PDF
Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking
Loading...
Format
pdf
Authors
Yang Liu
Ziyu Zhou
Yongsheng Yang
Yan Ma
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
Show more
Description
Keywords
URI
https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/36371
Full item page
Files
Original bundle
Now showing
1 - 1 of 1
Loading...
Name:
systems-10-01-00019.pdf
Size:
5.36 MB
Format:
Adobe Portable Document Format
Download