Towards Automated Verification of Distributed Consensus Protocols

Towards Automated Verification of Distributed Consensus Protocols
复制标题

迈向分布式共识协议的自动验证

DOI：
--
复制
发表时间：
2009
期刊：
Proceedings of 16th Asia-Pacific Software Engineering Conference (APSEC 2009)
影响因子：
--
通讯作者：
Tohru Kikuno
Tohru Kikuno
中科院分区：
--
文献类型：
--
作者：
Takahiro Minamikawa;Tatsuhiro Tsuchiya;Tohru Kikuno

文献摘要

相似文献