Thomas Osterland - Publications, H-index & Citations | 科言猫

未登录

返回

T

Thomas Osterland

fraunhofer gesellschaft

7H指数

17论文数

108被引数

收录论文 1

发表时间

Model checking smart contracts for Ethereum 以太坊的模型检查智能合约

PERVASIVE AND MOBILE COMPUTING

IF3.5

2020-03-01

23

PREAI

Osterland, Thomas; Rose, Thomas

分享

收藏