亚历山德罗·西马蒂；阿尔贝托·格里乔；恩里科·马格纳戈 长期贷款无限状态系统中的证伪。 （英语） Zbl 07629158号 Inf.计算。 289，A部分，文章ID 104977，43 p.（2022）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，《信息计算》。289，A部分，文章ID 104977，43 p.（2022；Zbl 07629158） 全文： 内政部
亚历山德罗·西马蒂；阿尔贝托·格里乔；恩里科·马格纳戈 在无限状态转换系统中自动发现公平路径。 （英语） Zbl 1497.68290号 Hou，Zhe（编辑）等，验证和分析自动化技术。2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，第19届国际研讨会，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12971, 32-47 (2021).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，Lect。票据计算。科学。12971，32-47（2021；Zbl 1497.68290） 全文： 内政部
亚历山德罗·西马蒂；阿尔贝托·格里乔；恩里科·马格纳戈 证明无限状态系统中公平路径的存在性。 （英语） Zbl 1472.68085号 Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12597, 104-126 (2021).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，Lect。票据计算。科学。12597，104-126（2021；Zbl 1472.68085） 全文： 内政部
Tewodros A.Beyene。；波皮娅，科尼柳；安德烈·里巴尔琴科 通过Horn约束求解实现高效的CTL验证。 （英语） Zbl 1482.68134号 Gallagher，John P.（编辑）等人，《验证和合成Horn条款第三次研讨会论文集》，HCVS 2016，荷兰埃因霍温，2016年4月3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）219，1-14（2016）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Beyene}等人，《电子》。程序。西奥。计算。科学。（EPTCS）219，1-14（2016；Zbl 1482.68134） 全文： arXiv公司 链接
阿梅尔·曼玛；马克·弗拉皮耶 动态特性的基于验证的验证方法：应用于信息系统领域。 （英语） Zbl 1331.68142号 正式Asp。计算。 27，第2期，335-374（2015）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Mammar}和\textit{M.Frappier}，正式Asp。计算。27，第2号，335--374（2015；Zbl 1331.68142） 全文： 内政部
哈桑·莫塔列比；穆罕默德·阿卜杜拉希·阿兹戈米 使用多奇异混合Petri网对混合动态系统进行建模和验证。 （英语） Zbl 1262.68139号 西奥。计算。科学。 446, 48-74 (2012).MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Motallebi}和\textit{M.A.Azgomi}，Theor。计算。科学。446、48--74（2012；Zbl 1262.68139） 全文： 内政部
伊塔·巴拉班；阿米尔·普努利；Lenore D.扎克。 证明被反驳：符号模型检查器作为证明生成器。 （英语） Zbl 1274.68174号 Dennis Dams（编辑）等人，《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林：施普林格出版社（ISBN 978-3-642-11511-0/pbk）。计算机科学课堂讲稿5930，221-236（2010）。MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{I.Balaban}等人，Lect。票据计算。科学。5930、221--236（2010年；Zbl 1274.68174） 全文： 内政部
斯莱尼娜，马蒂奥；亨尼·B·西普玛。；佐哈尔·曼纳 交流系统的演绎验证。 （英语） 兹比尔1152.68032 正式Asp。计算。 20，编号4-5，507-560（2008）.MSC公司：60年第68季度 03B44号 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Slanina}等人，《正式Asp》。计算。20、编号4--5、507--560（2008；Zbl 1152.68032） 全文： 内政部
奥德·马勒；德扬·尼科维奇；阿米尔·普努利 检查离散、定时和连续行为的时间属性。 （英语） 兹比尔1133.68378 Avron，Arnon（编辑）等人，《计算机科学的支柱》。在鲍里斯（波阿斯）·特拉赫滕布罗特85岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-540-78126-4/pbk）。计算机科学讲座笔记4800，475-505（2008）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{O.Maler}等人，Lect。票据计算。科学。4800、475--505（2008年；Zbl 1133.68378） 全文： 内政部
伊塔·巴拉班；阿米尔·普努利；Lenore D.扎克。 模块化排名抽象。 （英语） Zbl 1109.68062号 发现的国际期刊。计算。科学。 18，第1号，5-44（2007）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Balaban}等人，国际法学研究所。计算。科学。18，第1号，第5--44号（2007；Zbl 1109.68062） 全文： 内政部