埃西克,Z。;伊万,Sz。 有限树上的扩展时序逻辑。 (英语) Zbl 1264.03051号 伊藤、马萨米(编辑)等,《自动机,形式语言和代数系统》。2008年AFLAS会议记录,日本京都,2008年9月20日至22日。新泽西州哈肯萨克:世界科学(ISBN 978-981-4317-60-3/hbk;978-981-14317-61-0/电子书)。47-62 (2010).MSC公司:03B44号 03C07号机组 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.esik}和\textit{Sz.Iván},in:自动机,形式语言和代数系统。2008年AFLAS会议记录,日本京都,2008年9月20-22日。新泽西州哈肯萨克:《世界科学》。47-62(2010年;Zbl 1264.03051) 全文: 内政部
罗兰·阿克塞尔松 验证非常规程序属性。 (英语) Zbl 1208.68011号 慕尼黑:慕尼黑大学,慕尼黑信息研究所(Diss.)。xiv,152页。(2010).MSC公司:68-02 60年第68季度 03B44号 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Axelsson},非常规程序属性的验证。慕尼黑:慕尼黑大学,慕尼黑信息研究所(Diss.)(2010;Zbl 1208.68011) 全文: 链接
罗伯塔·戈里;弗朗西丝卡·列维 基于抽象解释的生物环境时间特性验证。 (英语) Zbl 1205.68244号 Inf.计算。 208,第8期,869-921(2010).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gori}和\textit{F.Levi},Inf.Compute。208,第8号,869--921(2010;Zbl 1205.68244) 全文: 内政部
易文德;廖少义(Stephen Shaoyi Liao) 基于copula模型的马尔可夫链向量参数估计的统计性质。 (英语) Zbl 1185.62151号 J.统计计划。推断 140,第6期,1465-1480(2010).MSC公司:2005年6月2日 2005年6月62日 2012年12月62日 62升12 PDF格式BibTeX公司 XML格式引用 \textit{W.Yi}和\textit{S.S.Liao},J.Stat.Plann。推理140,No.6,1465--1480(2010;Zbl 1185.62151) 全文: 内政部