卢卡什·霍利克;拉杜·奥西夫;亚当·罗加列维奇;汤姆·沃纳 无限状态系统的迹包含的抽象精化和反链。 (英语) Zbl 1506.68046号 形式方法系统。设计。 55,第3期,137-170(2020年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Holík}等人,《形式方法系统》。设计。55,第3号,137--170(2020;Zbl 1506.68046) 全文: 内政部 arXiv公司 哈尔
拉杜·奥西夫;马修·德怀尔。;约翰·哈特克利夫 为多个模型检查器翻译Java:Bandera后端。 (英语) Zbl 1086.68557号 形式方法系统。设计。 26,第2期,137-180(2005).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Iosif}等人,《形式方法系统》。设计。26,第2号,137--180(2005;Zbl 1086.68557) 全文: 内政部 哈尔