@收款{zbMATH07157056，作者={Andr{'e}，{e}tienne and Fribourg，Laurent and Mota，Jean-Marc and Soulat，Romain}，Title={使用抽象和参数模型检查验证工业异步领导者选举算法}，BookTitle={验证、模型检查和抽象解释。第20届国际会议，VMCAI 2019，卡斯凯斯，葡萄牙，2019年1月13-15日。诉讼}，国际标准图书编号={978-3-030-11244-8；978-3-0.30-11245-5}，页码={409--424}，年份={2019}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-11245-5_19}，关键词={68Q60,68M10,68M14,68W15}，zbMATH={7157056}，Zbl={1522.68293}}