Zobrazeno 1 - 10
of 30
pro vyhledávání: '"Hu, Zhenlei"'
Publikováno v:
In Separation and Purification Technology 15 July 2024 340
Autor:
Wang, Wenfeng, Li, Xiao, Ding, Xiaoning, Xiong, Shanshan, Hu, Zhenlei, Lu, Xuan, Zhang, Kan, Zhang, Heng, Hu, Qianwen, Lai, Kaa Seng, Chen, Zhongxiang, Yang, Junjie, Song, Hejie, Wang, Ye, Wei, Lu, Xia, Zeyang, Zhou, Bin, He, Yulong, Pu, Jun, Liu, Xiao, Ke, Rongqin, Wu, Tao, Huang, Chuanxin, Baldini, Antonio, Zhang, Min, Zhang, Zhen
Publikováno v:
In Immunity 10 October 2023 56(10):2342-2357
Tezos is a blockchain launched in June 2018. It is written in OCaml and supports smart contracts. Its smart contract language is called Michelson and it has been designed with formal verification in mind. In this article, we present Mi-Cho-Coq, a Coq
Externí odkaz:
http://arxiv.org/abs/1909.08671
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Xu, Yanyan, Ouyang, Xinxing, Yan, Lichong, Zhang, Mingliang, Hu, Zhenlei, Gu, Jianmin, Fan, Xuemei, Zhang, Lin, Zhang, Junfeng, Xue, Song, Chen, Guoqiang, Su, Bing, Liu, Junling
Publikováno v:
Arteriosclerosis, Thrombosis & Vascular Biology; Dec2018, Vol. 38 Issue 12, p2793-2805, 13p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.