乔瓦尼·帕迪尼;保罗·米拉佐;安德烈亚·马吉奥洛·谢蒂尼 生化途径中的成分鉴定。 (英语) Zbl 1327.68163号 西奥。计算。科学。 587, 104-124 (2015).MSC公司:60年第68季度 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Pardini}等人,Theor。计算。科学。587104-124(2015年;Zbl 1327.68163) 全文: 内政部
彼得·比克博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 关于同步部件系统中模块验证的条件。 (英语) Zbl 1279.68204号 芬丹。通知。 120,第3-4号,259-274(2012).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Drábik}等人,Fundam。通知。120,编号3--4,259--274(2012;Zbl 1279.68204) 全文: 内政部
彼得·比克博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 交互式系统的模块化验证与生物学应用。 (英语) 兹比尔1424.68091 科学。Ann.计算。科学。 21,第1期,39-72(2011).MSC公司:60年第68季度 65年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.Drábik}等人,科学。Ann.计算。科学。21,第1号,39--72(2011;Zbl 1424.68091)
彼得·比克博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 交互式系统的模块化验证与生物学应用。 (英语) Zbl 1283.68204号 Krivine,Jean(编辑)等人,第一届计算机科学与生物学相互作用国际研讨会论文集(CS2Bio'10),荷兰阿姆斯特丹,2010年6月10日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记268,61-75(2010)。MSC公司:60年第68季度 65年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.Drábik}等人,《电子》。注释Theor。计算。科学。268、61-75(2010年;Zbl 1283.68204) 全文: 内政部
拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 在定时框架中设计和验证长时间运行的事务。 (英语) Zbl 1170.68024号 科学。计算。程序。 73,编号2-3,76-94(2008).MSC公司:65年第68季度 第68页,共15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,科学。计算。程序。73,编号2--3,76-94(2008;Zbl 1170.68024) 全文: 内政部
拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 使用通信分层时间自动机对长时间运行的事务进行建模。 (英语) Zbl 1461.68136号 Gorrieri,Roberto(ed.)等人,开放式基于对象的分布式系统的形式化方法。第八届IFIP工作组6.1国际会议,2006年6月14日至16日,意大利博洛尼亚,FMOODS 2006。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。4037108-122(2006)中描述。MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,Lect。注释计算。科学。4037、108-122(2006年;Zbl 1461.68136) 全文: 内政部
拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼 单调混合系统。 (英语) Zbl 1081.68048号 J.计算。系统。科学。 71,第1号,34-69(2005).MSC公司:65年第68季度 60年第68季度 93A10号 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}和\textit{A.Maggiolo-Schettini},J.Compute。系统。科学。71,第1号,34--69(2005;Zbl 1081.68048) 全文: 内政部
拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 通信分层机器的结构模型检查。 (英语) Zbl 1096.68092号 吉·菲亚拉(编辑)等,《2004年计算机科学数学基础》。2004年8月22日至27日,第29届国际研讨会,MFCS,捷克共和国布拉格。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22823-3/pbk)。计算机科学课堂讲稿3153525-536(2004)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,Lect。注释计算。科学。3153525--536(2004年;Zbl 1096.68092) 全文: 内政部
拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆;蒂妮,西蒙 动态分层机器。 (英语) Zbl 1111.68061号 芬丹。通知。 54,编号2-3,237-252(2003).MSC公司:65年第68季度 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,Fundam。通知。54,编号2--3,237--252(2003;Zbl 1111.68061)
里卡多·福卡尔迪;罗伯托·戈里埃里;拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;法比奥·马蒂内利;蒂妮,西蒙;恩里科·特隆西 网络隐私定时攻击的正式模型。 (英语) Zbl 1268.68036号 Lenisa,Mariana(编辑)等人,TOSCA 2001。并发理论、高级语言和类型研讨会论文集,意大利乌迪内,2001年11月19-21日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记62,229-243(2002)。MSC公司:68英里11 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}等人,《电子》。注释Theor。计算。科学。62、229--243(2002年;Zbl 1268.68036) 全文: 内政部
安东尼奥·塞隆;安德烈亚·马吉奥洛·谢蒂尼 用于系统规范的时间Petri网的基于时间的表示性。 (英语) Zbl 0914.68145号 西奥。计算。科学。 216,第1-2、1-53号(1999年).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cerone}和\textit{A.Maggiolo-Schettini},Theor。计算。科学。216,编号1--2,1--53(1999;Zbl 0914.68145) 全文: 内政部
安德烈亚·马吉奥洛·谢蒂尼;那不勒斯,玛格丽塔;热那维亚托托拉 Web结构:表示和操作程序的工具。 (英语) Zbl 0677.68008号 IEEE传输。柔和。工程师。 14,第11期,1621-1639(1988). 审核人:B.齐默尔曼 MSC公司:60年第68季度 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Maggiolo-Schettini}等人,IEEE Trans。柔和。工程14,No.11,1621--1639(1988;Zbl 0677.68008) 全文: 内政部
哈特穆特·埃里格;汉斯·乔尔格·克鲁斯基;安德烈亚·马吉奥洛·谢蒂尼;巴里·罗森。;乔泽夫·温科夫斯基 结构转换:代数方法。 (英语) Zbl 0491.68035号 数学。系统。理论 14, 305-334 (1981).MSC公司:68问题65 60年第68季度 65年第68季度 70年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}等人,数学。系统。理论14,305--334(1981;Zbl 0491.68035) 全文: 内政部