| 标题 |
 书籍（章节） Towards a Verified Model of the Algorand Consensus Protocol in Coq 相关领域
活泼
计算机科学
协议（科学）
异步通信
理论计算机科学
模型检查
证明助理
认证
工作证明制度
分布式计算
块链
计算机网络
计算机安全
数学证明
数学
病理
法学
医学
替代医学
政治学
几何学
|
| 网址 | |
| DOI | |
| 其它 |
期刊：Lecture notes in computer science 作者：Musab A. Alturki; Jing Chen; Victor Luchangco; Brandon Moore; Karl Palmskog; et al 出版日期：2020-01-01 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
(2025-6-4)
Kao
嘻嘻哈哈
Copyright
zzzz
美满的访旋
超帅的忆曼
Alex_T
OK
YifanWang
Oracle
Sure
ye
迷人的天抒
无情的聪健
ucas
贪玩的秋柔
bbr
Nole
Criminology34
MchemG
皖公网安备34019202002308
