Next Article in Journal
A Sustainable Inventory Model with Advertisement Effort for Imperfect Quality Items under Learning in Fuzzy Monsoon Demand
Next Article in Special Issue
Quantum Automated Tools for Finding Impossible Differentials
Previous Article in Journal
Optimal Production Strategies with Credit Sharing for Automakers under the Dual-Credit Policy
Previous Article in Special Issue
Research on Smart Contract Verification and Generation Method Based on BPMN
 
 

Order Article Reprints

Journal: Mathematics, 2024
Volume: 12
Number: 2431

Article: A Dynamic Behavior Verification Method for Composite Smart Contracts Based on Model Checking
Authors: by Jun Jin, Wenhao Zhan, Haisheng Li, Yi Ding and Jie Li
Link: https://www.mdpi.com/2227-7390/12/15/2431

MDPI offers high quality article reprints with convenient shipping to destinations worldwide. Each reprint features a 270 gsm bright white cover and 105 gsm premium white paper, bound with two stitches for durability and printed in full color. The cover design is customized to your article and designed to be complimentary to the journal.

Quote and Order Details

Contact Person

Invoice Address

Notes or Comments

Validate and Place Order

The order must be prepaid after it is placed

req denotes required fields.
Back to TopTop