保罗·巴尔丹;托马斯·查泰恩;斯特凡·哈尔;巴巴拉·科尼格 具有演化拓扑的系统的基于展开的诊断。 (英语) Zbl 1214.68242号 Inf.计算。 208,第10号,1169-1192(2010).MSC公司:68问题85 2012年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《信息计算》。208,编号101169-1192(2010年;兹bl 1214.68242) 全文: 内政部
保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格 用于验证无限状态图转换系统的框架。 (英语) Zbl 1153.68034号 Inf.计算。 206,第7号,869-907(2008).MSC公司:60年第68季度 2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《信息计算》。206,第7号,869--907(2008;Zbl 1153.68034) 全文: 内政部
保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里;里贝罗,莱拉 图变换的展开语义。 (英语) Zbl 1115.68093号 Inf.计算。 205,第5期,733-782(2007).MSC公司:2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《信息计算》。205,第5号,733--782(2007;Zbl 1115.68093) 全文: 内政部