佩德罗·安东尼诺；托马斯·吉布森·罗宾逊；A.W.罗斯科。 使用基于局部分析的近似和SAT求解对并发系统进行有效验证。 （英语） Zbl 1425.68285号 正式Asp。计算。 31，第3号，375-409（2019）.MSC公司：68问题85 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Antonino}等人，《正式Asp》。计算。31，第3号，375--409（2019；Zbl 1425.68285） 全文： 内政部
车温斯基，沃伊切赫；彼得·霍夫曼；乔治·泽采 向量加法系统语言的无界性问题。 （英语） Zbl 1499.68170号 Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107，第119条，第15页（2018年）。MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Czerwinski}等人，LIPIcs——莱布尼茨国际程序。通知。107，第119条，第15页（2018；Zbl 1499.68170） 全文： 内政部 arXiv公司
潘海宇；曹永志；张敏；陈一香 格值双标记转移系统的模拟。 （英语） Zbl 1316.68063号 国际J近似推理 55，第3期，797-811（2014）.MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Pan}等人，《国际近似推理》55，第3期，797--811（2014；Zbl 1316.68063） 全文： 内政部
何塞·费亚德罗；洛佩斯，安东尼亚；乔昂·阿布鲁 面向服务的交互的正式模型。 （英语） 兹比尔1243.68138 科学。计算。程序。 77，第5期，577-608（2012）.MSC公司：68甲15 68号30 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}等人，科学。计算。程序。77，第5号，577--608（2012；Zbl 1243.68138） 全文： 内政部
纳杰斯·本·拉杰布；布拉希姆·纳斯劳伊；Riadh罗巴纳；泰瑟·图利 使用整数变量验证多线程递归程序。 （英语） Zbl 1347.68069号 Habermehl，P.（ed.）等人，第八、第九和第十届无限状态系统验证国际研讨会会议记录（INFINITY 2006、2007、2008），德国波恩，2006年8月26日，葡萄牙里斯本，2007年9月8日，加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记239143-154（2009）。MSC公司：68号30 68甲19 2012年第68季度 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Ben Rajeb}等人，《电子》。注释Theor。计算。科学。239143--154（2009年；Zbl 1347.68069） 全文： 内政部
米哈埃拉·西希雷亚努；泰瑟·图利 有序并行进程重写系统的有界通信可达性分析。 （英语） Zbl 1347.68274号 Habermehl，P.（ed.）等人，第八、第九和第十届无限状态系统验证国际研讨会会议记录（INFINITY 2006、2007、2008），德国波恩，2006年8月26日，葡萄牙里斯本，2007年9月8日，加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记239，43-56（2009）。MSC公司：68问题85 68号30 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Sighireanu}和\textit{T.Touili}，电子。注释Theor。计算。科学。239、43-56（2009年；Zbl 1347.68274） 全文： 内政部