乔治·德尔扎诺;罗伯托·蒙塔尼亚 在具有名称限制的移动环境中确定可达性。 (英语) Zbl 1347.68262号 Habermehl,P.(ed.)等人,第八、第九和第十届无限状态系统验证国际研讨会会议记录(INFINITY 2006、2007、2008),德国波恩,2006年8月26日,葡萄牙里斯本,2007年9月8日,加拿大多伦多,2008年8月23日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记239,5-15(2009)。MSC公司:68问题85 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}和\textit{R.Montagna},电子。理论注释。计算。科学。239,5-15(2009年;兹bl 1347.68262) 全文: 内政部
乔治·德尔扎诺;罗伯托·蒙塔格纳 AC术语重写中移动环境片段的可达性分析。 (英语) Zbl 1149.68041号 正式Asp。计算。 20,编号4-5,407-428(2008).MSC公司:2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}和\textit{R.Montagna},正式Asp。计算。20,编号4--5,407--428(2008;Zbl 1149.68041) 全文: 内政部
乔治·德尔扎诺;罗伯托·蒙塔格纳 生物环境碎片的可达性和空间可达性。 (英语) Zbl 1277.68177号 Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,69-79(2007)。MSC公司:68问题85 2012年第68季度 2017年第68季度 92立方37 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}和\textit{R.Montagna},电子。理论注释。计算。科学。171,编号2,69--79(2007;Zbl 1277.68177) 全文: 内政部