克利夫·琼斯。 纪念:Heinz Zemanek教授(1920-2014)。 (英文) Zbl 1317.01033号 正式Asp。计算。 第237-237号第27页(2015年).MSC公司:01A70型 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones},正式Asp。计算。27,第2号,237--237(2015;Zbl 1317.01033) 全文: 内政部
宋,傅;泰瑟·图利 模型检查动态下推网络。 (英文) Zbl 1332.68142号 正式Asp。计算。 27,第2期,397-421(2015).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Song}和\textit{T.Touili},正式Asp。计算。27,第2号,397--421(2015;Zbl 1332.68142) 全文: 内政部
亚历山大·马德拉;马丁斯(Manuel A.Martins)。;路易斯·巴博萨。;罗尔夫·亨尼克 混合型机构的完善。 (英文) Zbl 1331.68149号 正式Asp。计算。 27,第2期,375-395(2015).MSC公司:68问题85 03G30型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Madeira}等人,正式Asp。计算。27,第2号,375--395(2015;Zbl 1331.68149) 全文: 内政部 链接
阿梅尔·曼玛;马克·弗拉皮尔 动态特性的基于验证的验证方法:应用于信息系统领域。 (英文) Zbl 1331.68142号 正式Asp。计算。 27,第2期,335-374(2015).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Mammar}和\textit{M.Frappier},正式Asp。计算。27,第2号,335--374(2015;Zbl 1331.68142) 全文: 内政部
古拉姆雷扎·索图德;阿里·莫瓦加尔 模糊时序逻辑和模型中的抽象和近似。 (英文) Zbl 1331.68143号 正式Asp。计算。 27,第2期,309-334(2015).MSC公司:60年第68季度 03B44号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{G.Sotudeh}和\textit{A.Movaghar},正式Asp。计算。27,编号2309-334(2015年;兹bl 1331.68143) 全文: 内政部
泽达,弗兰克;安娜·卡瓦尔坎蒂 任务规划法。 (英文) Zbl 1331.68054号 正式Asp。计算。 27,第2期,423-472(2015).MSC公司:68号30 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{F.Zeyda}和\textit{A.Cavalcanti},正式Asp。计算。27,第2号,423--472(2015;Zbl 1331.68054) 全文: 内政部 链接
马其顿,雨果·丹尼尔;何塞·奥利维拉 OLAP的线性代数方法。 (英文) Zbl 1331.68055号 正式Asp。计算。 27,第2期,283-307(2015).MSC公司:68磅01英寸 PDF格式BibTeX公司 XML格式引用 \textit{H.D.Macedo}和\textit{J.Oliveira},正式Asp。计算。27,No.2,283--307(2015;Zbl 1331.68055) 全文: 内政部 链接
李永坚;庞、军 在Isabelle/HOL中规范可证明的匿名性。 (英文) 兹比尔1331.68202 正式Asp。计算。 27,第2期,255-282(2015).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}和\textit{J.Pang},正式Asp。计算。27,第2号,255--282(2015;Zbl 1331.68202) 全文: 内政部 链接