保罗·巴尔丹;托马斯·查泰恩;斯特凡·哈尔;巴巴拉·科尼格 具有演化拓扑的系统的基于展开的诊断。 (英文) Zbl 1214.68242号 Inf.计算。 208,第10号,1169-1192(2010).MSC公司:第68季度85 2012年第68季度 68升10 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《信息计算》。208,第10号,1169--1192(2010;Zbl 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,第5733-782号(2007年).MSC公司:2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《信息计算》。205,第5号,733--782(2007;Zbl 1115.68093) 全文: 内政部