迈克尔·布隆丁；蒂姆·莱斯；菲利普·马佐维耶基；菲利普·奥特马特；吉列尔莫·佩雷斯 连续单计数器自动机。 （英语） Zbl 07650599号 ACM事务处理。计算。日志。 24，第1号，第3号文件，第31页（2023）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}等人，《美国医学杂志》。计算。日志。24，第1号，第3号论文，31页（2023；Zbl 07650599） 全文： 内政部 arXiv公司
托马斯·帕尼；乔治·威森巴赫；弗洛里安·祖勒格 参数化并发共享内存程序的可靠性保证界分析。应用于证明非阻塞算法是有界无锁的。 （英语） Zbl 1522.68161号 形式方法系统。设计。 57，第2期，270-302（2021）.MSC公司：68号30 第68页第19页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Pani}等人，《形式方法系统》。设计。57，编号270-302（2021；兹bl 1522.68161） 全文： 内政部
亚历山大·萨哈罗夫；蒂莫西·萨哈罗夫 随机无上下文语言子集的Viterbi算法。 （英语） Zbl 1476.68137号 信息处理。莱特。 135, 68- 72 (2018).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Sakharov}和\textit{T.Sakharov}，Inf.过程。莱特。135、68-72（2018年；Zbl 1476.68137） 全文： 内政部
托马斯·斯特罗德；吉尔根·吉斯尔；马克·布罗克施米特；弗洛里安·弗洛恩；卡斯滕·福斯；杰拉·亨塞尔；彼得·施奈德·坎普；科尼利厄斯·阿舍曼 使用指针算法自动证明程序的终止和内存安全。 （英语） Zbl 1409.68077号 J.汽车。推理 58，第1号，33-65（2017）.MSC公司：68号30 2012年第68季度 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Ströder}等人，J.Autom。推理58，No.1，33--65（2017；Zbl 1409.68077） 全文： 内政部 链接
卢卡什，霍利克；马丁·赫鲁斯卡；Ondřej Lengál；亚当·罗加列维奇；汤姆·沃纳 森林自动机的反例验证和基于插值的精化。 （英语） 兹比尔1484.68103 Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10145, 288-309 (2017).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Holík}等人，Lect。票据计算。科学。10145，288--309（2017；Zbl 1484.68103） 全文： 内政部
帕罗什·阿齐兹·阿卜杜拉；卢卡什，霍利克；本特·琼森；Ondřej Lengál；聪奎·特里恩；汤姆·沃纳 通过扩展森林自动机验证具有有序数据的堆操作程序。 （英语） Zbl 1344.68136号 学报信息。 53，第4期，357-385（2016）.MSC公司：60年第68季度 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，Acta Inf.53，No.4，357--385（2016；Zbl 1344.68136） 全文： 内政部 链接