Communication Dans Un Congrès
Année : 2018
Jean-Pierre Talpin : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02193607
Soumis le : mercredi 24 juillet 2019-15:41:08
Dernière modification le : vendredi 24 mars 2023-14:53:11
Dates et versions
Identifiants
- HAL Id : hal-02193607 , version 1
Citer
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
38
Consultations
0
Téléchargements