@InCollection{zbMATH06667701，作者={Fontaine，Allyx and Zemmari，Akka}，标题={一些随机分布式算法的{Coq}中的认证不可能性结果和分析}，BookTitle={计算的理论方面--ICTAC 2016。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼}，国际标准图书编号={978-3-319-46749-8；978-3-3169-46750-4}，页码={69--81}，年份＝{2016}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-46750-4_5}，关键词={68W40,68V15,68V20,68W15,68W20}，zbMATH={6667701}，Zbl={1482.68282}}