已完结
  • 文献求助详情
标题
Formal Verification of Blockchain Smart Contract Based on Colored Petri Net Models
相关领域
分布式计算 活泼
网址
DOI
10.1109/COMPSAC.2019.10265 doi
其它 期刊:2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC)
作者:Zhentian Liu; Jing Liu
出版日期:2019
求助人
研友_Lw4kGn 在 2021-01-26 20:08:13 发布,悬赏 10 积分
下载 该求助完结已超 24 小时,文件已从服务器自动删除,无法下载。
 
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
该求助已完结,感谢关注
如需该文献,请重新发布求助,前往发布
科研通,让源源不断科研创作灵感的涌现之地
请遵守相关知识产权规定,勿将文件分享给他人,仅可用于个人研究学习
更新
大幅提高文件上传限制,最高150M (2024-4-1)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
hdy331完成签到,获得积分10
1秒前
2秒前
moyu123发布了新的文献求助10
4秒前
dentistjh完成签到,获得积分10
4秒前
乐乐发布了新的文献求助10
5秒前
5秒前
花花完成签到,获得积分10
5秒前
orixero应助公交卡采纳,获得10
5秒前
6秒前
科研通AI2S应助钮小童采纳,获得10
6秒前
cy完成签到,获得积分20
8秒前
李想发布了新的文献求助30
8秒前
lalala发布了新的文献求助10
9秒前
luanshi完成签到,获得积分10
10秒前
乐乐完成签到,获得积分10
13秒前
14秒前
zqwm发布了新的文献求助10
15秒前
小马甲应助WXJ采纳,获得10
16秒前
慕青应助西西弗采纳,获得10
17秒前
bkagyin应助圆圆的波仔采纳,获得10
18秒前
19秒前
羊村第一巴图鲁完成签到,获得积分10
19秒前
脑洞疼应助舒桐采纳,获得10
20秒前
假面绅士发布了新的文献求助10
22秒前
APPLE完成签到 ,获得积分10
23秒前
DJ完成签到,获得积分10
25秒前
26秒前
赘婿应助可靠的南霜采纳,获得10
26秒前
柿子霖关注了科研通微信公众号
26秒前
星辰大海应助321采纳,获得10
27秒前
大模型应助skyinner采纳,获得10
28秒前
tigerandcar发布了新的文献求助10
29秒前
29秒前
不吃榴莲完成签到,获得积分10
29秒前
30秒前
xu发布了新的文献求助20
31秒前
WXJ发布了新的文献求助10
31秒前
32秒前
猫车高手完成签到,获得积分10
32秒前
科研小白发布了新的文献求助10
33秒前
高分求助中
The Oxford Handbook of Social Cognition (Second Edition, 2024) 1050
The Young builders of New china : the visit of the delegation of the WFDY to the Chinese People's Republic 1000
юрские динозавры восточного забайкалья 800
English Wealden Fossils 700
Chen Hansheng: China’s Last Romantic Revolutionary 500
COSMETIC DERMATOLOGY & SKINCARE PRACTICE 388
Case Research: The Case Writing Process 300
热门求助领域 (近24小时)
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号,转发送积分 3141624
求助须知:如何正确求助?哪些是违规求助? 2792563
关于积分的说明 7803506
捐赠科研通 2448811
什么是DOI,文献DOI怎么找? 1302925
科研通“疑难数据库(出版商)”最低求助积分说明 626683
版权声明 601240