卢卡什·霍利克;拉杜·奥西夫;亚当·罗加列维奇;汤姆·沃纳 无限状态系统的迹包含的抽象精化和反链。 (英语) 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公司 哈尔
艾哈迈德·博阿贾尼;马吕斯·博兹加;彼得·哈伯梅尔;拉杜·奥西夫;皮埃尔·莫罗;汤姆·沃纳 带有列表的程序是计数器自动机。 (英语) Zbl 1217.68059号 形式方法系统。设计。 38,第2期,158-192(2011).MSC公司:68号30 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人,《形式方法系统》。设计。38,第2号,158--192(2011;Zbl 1217.68059) 全文: 内政部 哈尔
拉杜·奥西夫;马修·德怀尔。;约翰·哈特克利夫 为多个模型检查器翻译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) 全文: 内政部 哈尔