Next Article in Journal
13.2 kV Class 3-Phase Solid State Transformer System Based on EtherCAT Communication
Previous Article in Journal
Fast CU Partition Decision Algorithm for VVC Intra Coding Using an MET-CNN
 
 

Order Article Reprints

Journal: Electronics, 2022
Volume: 11
Number: 3091

Article: Formal Modeling and Verification of Smart Contracts with Spin
Authors: by Zhe Yang, Meiyi Dai and Jian Guo
Link: https://www.mdpi.com/2079-9292/11/19/3091

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