SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
清晨好，您是今天最早来到科研通的研友！由于当前在线用户较少，发布求助请尽量完整地填写文献信息，科研通机器人24小时在线，伴您科研之路漫漫前行！
Towards a Verified Model of the Algorand Consensus Protocol in Coq
活泼
计算机科学
协议（科学）
异步通信
理论计算机科学
模型检查
证明助理
认证
工作证明制度
分布式计算
块链
计算机网络
计算机安全
数学证明
数学
病理
法学
医学
替代医学
政治学
几何学
作者
Musab A. Alturki,
Jing Chen,
Victor Luchangco,
Brandon Moore,
Karl Palmskog,
Lucas Peña,
Grigore Roşu
出处
期刊：
Lecture Notes in Computer Science
[Springer Science+Business Media]
日期：2020-01-01
卷期号：: 362-367
被引量：6
链接
arxiv.org
arxiv.org
arxiv.org
arxiv.org
datacite.org
doi.org
标识
DOI：10.1007/978-3-030-54994-7_27
求助该文献
最长约 10秒，即可获得该文献文件
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
⚡
2026年影响因子、分区
已更新！
(2026-6-17)
更新
📰 新增『新锐期刊分区』
(2026-3-24)
更新
💬 新增更精细的自定义提醒设置
(2026-1-4)
新增
🕒 每天60秒读懂世界·精选全球要闻
(2026-1-2)
新增
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
奋斗的妙海
完成签到
，获得积分
0
5秒前
李大胖胖
完成签到
，获得积分
10
6秒前
周常通
完成签到，获得积分
10
12秒前
希望天下0贩的0
上传了
应助文件
13秒前
回首不再是少年
完成签到，获得积分
0
14秒前
蟑先生
完成签到
，获得积分
10
15秒前
Kao
的
应助
被
diandong
采纳，获得
10
16秒前
dangdang
完成签到
，获得积分
10
17秒前
LTY
发布了新的
文献求助
10
18秒前
lx
完成签到
，获得积分
10
27秒前
小石榴的爸爸
完成签到
，获得积分
10
32秒前
小石榴爸爸
完成签到
，获得积分
0
38秒前
LTY
完成签到，获得积分
20
55秒前
简爱
完成签到
，获得积分
10
1分钟前
nwq
完成签到，获得积分
10
1分钟前
瘦瘦稀
完成签到，获得积分
10
1分钟前
青帝
完成签到
，获得积分
10
1分钟前
阳光的Kelly
完成签到
，获得积分
10
1分钟前
研友_ZlPolZ
完成签到
，获得积分
10
1分钟前
铜豌豆
完成签到
，获得积分
10
1分钟前
Frank
完成签到，获得积分
0
1分钟前
快乐随心
完成签到
，获得积分
10
1分钟前
韩钰小宝
完成签到
，获得积分
10
1分钟前
PHI
完成签到
，获得积分
10
1分钟前
一个爱打乒乓球的彪
完成签到
，获得积分
10
1分钟前
Kao
的
应助
被
科研通管家
采纳，获得
10
1分钟前
Kao
的
应助
被
科研通管家
采纳，获得
10
1分钟前
长安
发布了新的
文献求助
10
1分钟前
披着羊皮的狼
上传了
应助文件
1分钟前
wanghao
完成签到
，获得积分
10
2分钟前
月儿
完成签到
，获得积分
0
2分钟前
我是老大
的
应助
被
zws
采纳，获得
10
2分钟前
潜行者
完成签到
，获得积分
10
2分钟前
丰富硬币
完成签到
，获得积分
10
2分钟前
我是老大
上传了
应助文件
2分钟前
研友_5Zl4VZ
完成签到，获得积分
10
2分钟前
YNILY
完成签到
，获得积分
10
2分钟前
juan
完成签到
，获得积分
10
2分钟前
zws
发布了新的
文献求助
10
2分钟前
贪玩的网络
完成签到
，获得积分
10
2分钟前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】
10000
《上海印钞厂志》
3000
2026年中国辛酸癸酸聚乙二醇甘油酯行业市场现状调查及投资机会研判报告
1000
2026年中国辛酸癸酸聚乙二醇甘油酯行业市场规模及竞争格局分析报告
1000
模型平均及其应用
900
Fundamentals of Pharmaceutical and Biologics Regulations: A Global Perspective, Second Edition
700
Évora na Idade Média
555
热门求助领域
（近24小时）
化学
材料科学
医学
生物
纳米技术
工程类
有机化学
化学工程
生物化学
计算机科学
内科学
物理
复合材料
催化作用
细胞生物学
无机化学
光电子学
物理化学
电极
基因
热门帖子
关注
科研通微信公众号，转发送积分
7339141
求助须知：如何正确求助？哪些是违规求助？
8952373
关于积分的说明
18998813
捐赠科研通
6991249
什么是DOI，文献DOI怎么找？
3218453
关于科研通互助平台的介绍
2384180
邀请新用户注册赠送积分活动
2198382
今日热心研友
Kao
214
2490
Copyright
38
860
嘻嘻哈哈
23
480
Astraeus
51
200
Oracle
13
550
认真的不评
59
90
CC
8
530
thf666
7
520
愉快的真
31
230
猪猪hero
38
100
OK
380
Nole
20
180
英俊的皮带
28
70
迷人的天抒
320
Criminology34
30
学术文献互助
200
乐空思
130
大力的冬萱
6
60
星野
120
清平道人
110
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
PDF的下载单位、IP信息已删除
(2025-6-4)
Kao
Copyright
嘻嘻哈哈
Astraeus
Oracle
认真的不评
CC
thf666
愉快的真
猪猪hero
OK
Nole
英俊的皮带
迷人的天抒
Criminology34
学术文献互助
乐空思
大力的冬萱
星野
清平道人
皖公网安备34019202002308
