朱拉吉·赫罗姆科维奇;乔治·施尼特 关于概率下推自动机。 (英语) Zbl 1205.68202号 Inf.计算。 208,第8期,982-995(2010).MSC公司:65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hromkovič}和\textit{G.Schnitger},Inf.Compute。208,第8号,982--995(2010;Zbl 1205.68202) 全文: 内政部
卢卡·布雷维利里;雷吉兹、斯特凡诺·克雷斯皮;马西米利亚诺·戈德伍姆 高效识别由重复-直到循环定义的跟踪语言。 (英语) Zbl 1205.68195号 Inf.计算。 208,编号8,969-981(2010).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Breveglieri}等人,《信息计算》。208,第8号,969--981(2010;Zbl 1205.68195) 全文: 内政部 链接
阿勒科恩,比阿特丽兹;劳尔·古铁雷斯;萨尔瓦多卢卡斯 上下文相关依赖项对。 (英语) Zbl 1206.68158号 Inf.计算。 208,第8期,922-968(2010).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Alarcón}等人,《信息计算》。208,编号81922-968(2010年;Zbl 1206.68158) 全文: 内政部
罗伯塔·戈里;弗朗西丝卡·列维 基于抽象解释的生物环境时间特性验证。 (英语) 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) 全文: 内政部