博迪,C。;布罗多,L。;R.戈里。;列维,F。;A.贝尔尼尼。;D.赫米思。 膜计算的静态分析,提供全局发生计数信息。 (英语) Zbl 1383.92032号 西奥。计算。科学。 696, 11-51 (2017).MSC公司:92立方厘米 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,Theor。计算。科学。696,11-51(2017年;兹bl 1383.92032) 全文: 内政部 链接
博迪,恰拉;琳达·布罗多;罗伯塔·戈里;戴安娜·赫米思;弗朗西丝卡·列维 膜结石的整体发生计数分析。 (英语) Zbl 1417.68118号 Falaschi,Moreno(编辑),基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。9527, 179-200 (2015).MSC公司:68问题85 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,Lect。注释计算。科学。9527179-200(2015年;Zbl 1417.68118) 全文: 内政部 链接
尼尔森,Hanne Riis;弗莱明·尼尔森;罗伯托·维戈 针对不可靠通信的稳健性的质量计算。 (英语) Zbl 1337.68041号 J.日志。阿尔盖布。方法程序。 84,第5号,611-639(2015).MSC公司:64岁以下 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.R.Nielson}等人,J.Log。阿尔盖布。方法计划。84,第5号,611--639(2015;Zbl 1337.68041) 全文: 内政部
博迪,恰拉;罗伯塔·戈里;弗朗西丝卡·列维 膜结石的原因静态分析。 (英语) Zbl 1327.68099号 西奥。计算。科学。 587, 73-103 (2015).MSC公司:2005年第68季度 68问题85 92C30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,Theor。计算。科学。587,73-103(2015年;兹bl 1327.68099) 全文: 内政部
博迪,恰拉;罗伯塔·戈里;弗朗西丝卡·列维 膜相互作用因果特性分析。 (英语) Zbl 1337.68100号 Merelli,Emanuela(编辑)等人,《第四届计算机科学与生物学相互作用国际研讨会论文集》(CS2Bio'13),意大利佛罗伦萨,2013年6月6日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》299,15-31(2013)。MSC公司:2005年第68季度 第68季度55 92立方37 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,《电子》。注释Theor。计算。科学。299、15--31(2013年;Zbl 1337.68100) 全文: 内政部
纳塔莉亚·斯克里普纽克;弗莱明·尼尔森;亨利克·皮利加德 IMC的静态分析。 (英语) Zbl 1243.68220号 J.日志。阿尔盖布。程序。 81,第4期,522-540(2012).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Skrypnyuk}等人,J.Log。阿尔盖布。程序。81,第4号,522--540(2012;Zbl 1243.68220) 全文: 内政部
罗伯塔·戈里;弗朗西丝卡·列维 基于抽象解释的生物环境时间特性验证。 (英语) Zbl 1205.68244号 Inf.计算。 208,第8期,869-921(2010).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gori}和\textit{F.Levi},信息计算。208,第8号,869--921(2010;Zbl 1205.68244) 全文: 内政部
尼尔森、汉内·里斯;弗莱明·尼尔森 CCS的单调框架。 (英语) Zbl 1387.68172号 计算。语言系统。结构。 35,第4期,365-394(2009).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.R.尼尔森}和\textit{F.尼尔森,计算。语言系统。结构。35,第4号,365-394(2009;Zbl 1387.68172) 全文: 内政部
博迪,恰拉;安德烈亚·布拉切利;戴维·齐亚鲁吉 膜结石的控制流分析。 (英语) Zbl 1348.92068号 Ciobanu,Gabriel(编辑),《第二届膜计算和生物启发过程计算国际会议论文集》(MeCBIC 2008),2008年9月3日至4日,罗马尼亚伊阿什。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记227,59-75(2009)。MSC公司:92立方厘米 60年第68季度 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,《电子》。注释Theor。计算。科学。227、59-75(2009年;Zbl 1348.92068) 全文: 内政部
阿莱西奥·科莱塔;罗伯塔·戈里;弗朗西丝卡·列维 使用抽象解释近似生物系统的概率行为。 (英语) Zbl 1283.92037号 尼古拉·卡纳塔(编辑)等人,《第二次研讨会论文集——从生物学到并发性再到并发性(FBTC 2008)》,冰岛雷克雅未克,2008年7月12日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》229,第1期,165-182页(2009年)。MSC公司:92立方厘米 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Coletta}等人,《电子》。注释Theor。计算。科学。229,第1号,165--182(2009;Zbl 1283.92037) 全文: 内政部
亨利克·皮利加德;弗莱明·尼尔森;尼尔森、汉内·里斯 BioAmbients的路径分析。 (英语) Zbl 1147.92002号 J.日志。阿尔盖布。程序。 77,编号1-2,92-130(2008).MSC公司:92B05型 2010年第68季度 68问题85 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.Pilegaard}等人,J.Log。阿尔盖布。程序。77,编号1--2,92-130(2008;Zbl 1147.92002) 全文: 内政部