阿曼多·卡斯塔涅达;奥雷利·胡罗;菲利普·奎因内克;罗伊，马蒂厄 并发算法的模块化证明任务。 （英语） Zbl 07687226号 Inf.计算。 292，文章ID 105040，21 p.（2023）.MSC公司：60年第68季度 68问题85 68伏15 68瓦10 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{A.Castañeda}等人，《信息计算》。292，文章ID 105040，21 p.（2023；Zbl 07687226） 全文： 内政部 arXiv公司 哈尔
伊戈尔·康诺夫;玛丽亚娜·拉齐奇;赫尔穆特·维思;约瑟夫·威德 容错分布式算法安全性和活性验证的简短反例属性。 （英语） 兹比尔1380.68278 Castagna，Giuseppe（ed.）等人，第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。719-734 (2017).MSC公司：60年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov}等人，in：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15-21日。纽约州纽约市：计算机协会（ACM）。719--734（2017；Zbl 1380.68278） 全文： 内政部 arXiv公司
伊戈尔·康诺夫;赫尔穆特·维思;约瑟夫·威德 关于容错分布式算法的模型检查，您一直想知道的是什么。 （英语） Zbl 1461.68115号 Mazzara，Manuel（编辑）等人，《系统信息学的观点》。2015年8月24日至27日，第十届安德烈·埃尔肖夫国际信息学会议，PSI 2015，纪念俄罗斯喀山和因诺波利斯的赫尔穆特·维思。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9609, 6-21 (2016).MSC公司：60年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov}等人，Lect。注释计算。科学。9609年6月21日（2016年；Zbl 1461.68115） 全文： 内政部 链接
阿努·格梅纳;伊戈尔·康诺夫;乌尔里希·施密德;赫尔穆特·维思;约瑟夫·威德 容错分布式算法的参数化模型检查教程。 （英语） Zbl 1445.68133号 Bernardo，Marco（编辑）等人，可执行软件模型的形式化方法。2014年6月16日至20日，意大利贝蒂诺罗，第14所计算机、通信和软件系统正式设计方法国际学校，SFM 2014。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8483, 122-171 (2014).MSC公司：60年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{A.Gmeiner}等人，Lect。注释计算。科学。8483122-171（2014年；兹bl 1445.68133） 全文： 内政部