Conference Papers
Year : 2018
Jean-Pierre Talpin : Connect in order to contact the contributor
https://inria.hal.science/hal-02193607
Submitted on : Wednesday, July 24, 2019-3:41:08 PM
Last modification on : Friday, March 24, 2023-2:53:11 PM
Dates and versions
Identifiers
- HAL Id : hal-02193607 , version 1
Cite
Zhangbo Duan, Hongliang Mao, Zhidong Chen, Xiaomin Bai, Kai Hu, et al.. Formal Modeling and Verification of Blockchain System. the 10th International Conference, Jan 2018, Sydney, France. pp.231-235. ⟨hal-02193607⟩
Collections
34
View
0
Download