项目描述 ：
A Process Calculus for Formally Verifying Blockchain Consensus Protocols (WFLP ’19 invited contribution)

高级语言： TeX

项目主页：

项目地址: git://github.com/jeltsch/wflp-2019.git

创建时间： 2019-06-10T19:25:27Z
项目社区：https://github.com/jeltsch/wflp-2019
开源协议：
下载