Browsing by Author "Ziyu Zhou"
Now showing 1 - 3 of 3
Results Per Page
Sort Options
Distribution Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model CheckingYang Liu; Ziyu Zhou; Yongsheng Yang; Yan MaDistribution Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model CheckingYang Liu; Ziyu Zhou; Yongsheng Yang; Yan MaDataset 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