詹斯·奥利弗·古斯菲尔德;马库斯·穆勒·奥尔姆;克里斯蒂安·迪利茨 带有语言参数的时序逻辑。 (英语) 兹伯利07798814 Inf.计算。 295,A部分,文章ID 105087,22 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.O.Gutsfeld}等人,《信息计算》。295,A部分,文章ID 105087,第22页(2023;Zbl 07798814) 全文: 内政部
阿曼多·卡斯塔涅达;奥雷利·胡罗;菲利普·奎因内克;罗伊,马蒂厄 并发算法的模块化证明任务。 (英语) Zbl 07687226号 Inf.计算。 292,文章ID 105040,21 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Castañeda}等人,《信息计算》。292,文章ID 105040,21 p.(2023;Zbl 07687226) 全文: 内政部 arXiv公司
简·Křetínsk;伊曼纽尔·拉姆尼安图;亚历山大·斯利文斯基;马克西米利安·威宁格 简单随机博弈算法的比较。 (英语) Zbl 07629166号 Inf.计算。 289,B部分,文章ID 104885,23 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínsk椯}et al.,《信息计算》。289,B部分,文章ID 104885,23 p.(2022;Zbl 07629166) 全文: 内政部
劳拉·博泽利;阿尼埃洛·穆拉诺;阿德里亚诺·佩隆 无上下文时间形式:鲁棒自动机和线性时序逻辑。 (英语) Zbl 1528.68213号 Inf.计算。 283,文章ID 104673,30 p.(2022).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,信息计算。283,文章ID 104673,30 p.(2022;Zbl 1528.68213) 全文: 内政部
阿曼,博格丹;加布里埃尔·乔巴努 移动代理系统和加权时间自动机中的声誉动态。 (英语) Zbl 1483.68220号 Inf.计算。 282,文章ID 104653,22 p.(2022).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Aman}和\textit{G.Ciobanu},Inf.Comput。282,文章ID 104653,22 p.(2022;Zbl 1483.68220) 全文: 内政部
何希明;周若瑜;蒂莫西·琼斯。 时间超属性。 (英语) Zbl 1518.68207号 Inf.计算。 280,文章ID 104639,18 p.(2021).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-M.Ho}等人,《信息计算》。280,文章ID 104639,18 p.(2021;Zbl 1518.68207) 全文: 内政部 链接
大卫·布雷索林;Lanese,伊万 静态和动态属性提供更新。 (英语) Zbl 1497.68251号 Inf.计算。 279,文章ID 104611,24 p.(2021).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}和\textit{I.Lanese},Inf.Comput。279,文章ID 104611,24 p.(2021;Zbl 1497.68251) 全文: 内政部 哈尔
安德烈亚·奥兰迪尼(编辑);马丁·齐默尔曼(编辑) 前言。 (英语) 兹比尔1462.68006 Inf.计算。 278,文章ID 104591,2 p.(2021).MSC公司:68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Orlandini}(编辑)和textit{M.Zimmermann}(主编),《Inf.Compute》。278,文章ID 104591,2 p.(2021;Zbl 1462.68006) 全文: 内政部
贝拉德,B。;哈达德,S。;皮卡罗尼,C。;Safey El Din,M。;萨索拉斯,M。 多项式中断时间自动机:验证和表达。 (英语) Zbl 1475.68145号 Inf.计算。 277,文章ID 104580,15 p.(2021).MSC公司:65年第68季度 03B70号 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,《信息计算》。277,文章ID 104580,15 p.(2021;Zbl 1475.68145) 全文: 内政部
朱利安·古铁雷斯;朱塞佩·佩雷利;迈克尔·伍尔德里奇 有限轨迹上LDL目标的多人游戏。 (英语) Zbl 1497.68305号 Inf.计算。 276,文章ID 104555,17 p.(2021).MSC公司:60年第68季度 03B70号 65年第68季度 68问题85 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息计算》。276,文章ID 104555,17 p.(2021;Zbl 1497.68305) 全文: 内政部 arXiv公司
弗朗西斯科·贝拉迪内利;罗德卡·孔杜拉克;柯特林·迪马;沃伊切赫·贾姆罗加;迈克尔·克纳皮克 通过应用三选票投票协议验证战略能力的相互模拟。 (英语) Zbl 1497.68287号 Inf.计算。 276,文章ID 104552,第25页(2021).MSC公司:60年第68季度 03B44号 68T42型 91B12号机组 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}等人,《信息计算》。276,文章ID 104552,25 p.(2021;Zbl 1497.68287) 全文: 内政部 arXiv公司 链接
徐明;邓雨欣 具有时滞的概率规划的有时限终止分析。 (英语) Zbl 1496.68120号 Inf.计算。 275,文章ID 104634,24 p.(2020).MSC公司:68号30 65年第68季度 60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}和\textit{Y.Deng},Inf.Compute。275,文章ID 104634,24 p.(2020;Zbl 1496.68120) 全文: 内政部
萨尔瓦多拉托雷;那不勒斯,玛格丽塔;Gennaro帕拉托 作用域范围内的多级下推系统的可达性。 (英语) Zbl 1496.68235号 Inf.计算。 275,文章ID 104588,26 p.(2020).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.La Torre}等人,《信息计算》。275,文章ID 104588,26 p.(2020;Zbl 1496.68235) 全文: 内政部
阿尼埃洛·穆拉诺(编辑);帕特里夏·鲍耶(编辑);圣彼得罗,皮耶路易吉(编辑);安德烈亚·奥兰迪尼(编辑) 前言。 (英语) Zbl 1443.68019号 Inf.计算。 272,文章ID 104497,1 p.(2020).MSC公司:68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Murano}(编辑)等,《信息计算》。272,文章ID 104497,1页(2020;Zbl 1443.68019) 全文: 内政部
马西莫·贝内雷切蒂;丹尼尔·德尔尔巴;法比奥·莫加维罗 对等游戏的延迟促销政策。 (英语) Zbl 1400.68119号 Inf.计算。 262,第2部分,221-240(2018).MSC公司:60年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人,《信息计算》。262,第2部分,221-240(2018;兹bl 1400.68119) 全文: 内政部 arXiv公司
卢卡·博托卢西;罗伯塔·兰恰尼;劳拉·内兹 用随机近似检验马尔可夫种群模型。 (英语) Zbl 1400.68120号 Inf.计算。 262,第2部分,189-220(2018).MSC公司:60年第68季度 60J28型 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}等人,《Inf.Compute》。262,第2部分,189--220(2018;Zbl 1400.68120) 全文: 内政部 arXiv公司
坎通纳,多梅尼科(编辑);乔治·德尔扎诺(编辑) 前言:游戏、自动机、逻辑和形式验证(GandALF 2016)。 (英语) Zbl 1400.68017号 Inf.计算。 262,第2部分,187-188(2018).MSC公司:68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}(编辑)和\textit{G.Delzanno}(主编),Inf.Compute。262,第2部分,187--188(2018;Zbl 1400.68017) 全文: 内政部
克里斯蒂安·艾森特罗;霍尔格·赫尔曼斯;约翰·舒斯特;安德烈亚·图里尼;张丽君 对概率和马尔可夫自动机的最小商的追求。 (英语) Zbl 1400.68132号 Inf.计算。 262,第1部分,162-186(2018).MSC公司:68问题85 65年第68季度 60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisentraut}等人,《信息计算》。262,第1部分,162--186(2018;Zbl 1400.68132) 全文: 内政部
本杰明·阿米诺夫;阿尼埃洛·穆拉诺;萨沙·鲁宾 使用分级路径模式的CTL(^\ast)。 (英语) Zbl 1407.03028号 Inf.计算。 262,第1部分,1-21(2018). 审核人:马丁·兰格(卡塞尔) MSC公司:03B44号 03年2月25日 05年3月 65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Aminof}等人,《信息计算》。262,第1部分,1--21(2018;Zbl 1407.03028) 全文: 内政部 链接
朱利安·古铁雷斯;朱塞佩·佩雷利;迈克尔·伍尔德里奇 反应模块游戏中的信息不完整。 (英语) Zbl 1395.68188号 Inf.计算。 261,第4部分,650-675(2018).MSC公司:60年第68季度 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息计算》。261,第4部分,650--675(2018;Zbl 1395.68188) 全文: 内政部 链接
彼得·科马克;阿莱西奥·洛穆西奥;法比奥·莫加维罗;阿尼埃洛·穆拉诺 多智能体系统的实际验证Slk公司规范。 (英语) Zbl 1395.68255号 Inf.计算。 261,第3部分,588-614(2018).MSC公司:68T27型 60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{P.采尔玛}等人,《Inf.Compute》。261,第3部分,588--614(2018;Zbl 1395.68255) 全文: 内政部
艾斯瓦里亚,C。;贝内迪克特·博利格;保罗·加斯丁 验证分布式算法的自动机理论方法。 (英语) Zbl 1390.68421号 Inf.计算。 259,第3部分,305-327(2018).MSC公司:60年第68季度 65年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{C.Aiswarya}等人,《信息计算》。259,第3部分,305-327(2018;Zbl 1390.68421) 全文: 内政部 arXiv公司 链接
文森特·雪瓦尔;科蒙·隆德,休伯特;斯特凡尼德劳恩 确定约束系统集之间符号等价性的过程。 (英语) 兹比尔1371.68189 Inf.计算。 255,第1部分,94-125(2017).MSC公司:68问题85 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{V.Cheval}等人,《信息计算》。255,第1部分,94-125(2017;Zbl 1371.68189) 全文: 内政部 链接
法比奥·莫加维罗(编辑);阿尼埃洛·穆拉诺(编辑);莫舍·瓦尔迪。(编辑) SR 2014特刊前言。 (英语) Zbl 1364.00047号 Inf.计算。 254,第2部分,141-142(2017).MSC公司:00B25型 68-06 91-06 65年第68季度 60年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}(编辑)等人,《信息计算》。254,第2部分,141--142(2017;Zbl 1364.00047) 全文: 内政部
彼得·费蒙维尔;马丁·齐默尔曼 参数线性动态逻辑。 (英语) Zbl 1362.68169号 Inf.计算。 253,第2部分,237-256(2017).MSC公司:60年第68季度 03B44号 03B70号 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Faymonville}和\textit{M.Zimmermann},Inf.Compute。253,第2部分,237--256(2017;Zbl 1362.68169) 全文: 内政部 arXiv公司
德克雷森佐,I。;拉托雷,S。;Y.Velner。 直观的下推模块化游戏。 (英语) Zbl 1362.68166号 Inf.计算。 253,第2部分,204-223(2017).MSC公司:60年第68季度 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{I.De Crescenzo}等人,《信息计算》。253,第2部分,204--223(2017;Zbl 1362.68166) 全文: 内政部
阿德里亚诺·佩隆(编辑);卡拉广场(编辑) 游戏、自动机、逻辑和形式验证(GandALF 2014)——前言。 (英语) Zbl 1360.00133号 Inf.计算。 253,第2部分,179-180(2017).MSC公司:00B25型 68-06 91-06 65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Peron(编辑)和\textit{C.Piazza}(编辑),Inf.Compute。253,第2部分,179--180(2017;Zbl 1360.00133) 全文: 内政部 链接
宋,傅;吴志林 关于数据变量量化的时序逻辑:可判定性和复杂性。 (英语) Zbl 1353.68181号 Inf.计算。 251, 104-139 (2016).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Song}和\textit{Z.Wu},Inf.Comput。251104--139(2016年;Zbl 1353.68181) 全文: 内政部
安吉洛·蒙塔纳里(编辑);小狗,加布里埃尔(编辑);蒂齐亚诺别墅(编辑) 游戏、自动机、逻辑和形式验证(GandALF 2013)。 (英语) Zbl 1329.00223号 Inf.计算。 245, 1-2 (2015).MSC公司:00B25型 68-06 91-06 65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}(编辑)等,《信息计算》。245,1--2(2015;Zbl 1329.00223) 全文: 内政部
斯特凡·德姆里;阿米特·库马尔·达尔;阿诺德·桑尼尔 驯服过去的LTL和扁平计数器系统。 (英语) Zbl 1378.68112号 Inf.计算。 242, 306-339 (2015).MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,《信息计算》。242306--339(2015年;Zbl 1378.68112) 全文: 内政部
贝内迪克特·布吕奇 通过确定性树自动机合成结构化反应式程序。 (英语) 兹比尔1317.68029 Inf.计算。 242, 108-127 (2015).MSC公司:68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Brütsch},信息计算。242108--127(2015;Zbl 1317.68029) 全文: 内政部 arXiv公司
劳拉·博泽利;巴斯蒂安·莫伯特;苏菲·平奇纳特 统一策略、理性关系和跳跃自动机。 (英语) Zbl 1319.68140号 Inf.计算。 242, 80-107 (2015).MSC公司:60年第68季度 03B42型 03B44号 05年3月 2017年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。242、80-107(2015;Zbl 1319.68140) 全文: 内政部
迈托·阿拉皮尼斯;玛丽·杜弗洛特 在安全协议中免费绑定消息–对各种安全属性的扩展。 (英语) Zbl 1309.68059号 Inf.计算。 239, 182-215 (2014).MSC公司:68第25页 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Arapinis}和\textit{M.Duflot},Inf.Comput。239182-215(2014年;Zbl 1309.68059) 全文: 内政部
塞尔吉·布尔苏克;科蒙·隆德,休伯特;斯特凡尼德劳恩 可重复性约束和盲签名。 (英语) Zbl 1360.94298号 Inf.计算。 238, 106-127 (2014).MSC公司:94A60型 68个M12 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bursuc}等人,《信息计算》。238106-127(2014年;Zbl 1360.94298) 全文: 内政部
陈、陶璐;马尔科·迪西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 植入式心脏起搏器与混合心脏模型的定量验证。 (英语) Zbl 1311.92100号 Inf.计算。 236, 87-101 (2014).MSC公司:92 C50 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,《信息计算》。23687--101(2014年;Zbl 1311.92100) 全文: 内政部
A.卡萨格兰德。;德罗西,T。;J·法布里科娃。;C.广场。 \(epsilon)-生物系统的语义计算。 (英语) Zbl 1312.68127号 Inf.计算。 236, 35-51 (2014).MSC公司:第68季度55 65年第68季度 60年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Casagrande}等人,《信息计算》。23635--51(2014;Zbl 1312.68127) 全文: 内政部
奥坎·桑库尔;帕特里夏·鲍耶;尼古拉斯·马基 缩小时间自动机。 (英语) Zbl 1285.68090号 Inf.计算。 234, 107-132 (2014).MSC公司:65年第68季度 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Sankur}等人,《信息计算》。234107--132(2014年;Zbl 1285.68090) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;曲洪阳 通过多目标模型检查进行组合概率验证。 (英语) Zbl 1277.68138号 Inf.计算。 232, 38-65 (2013).MSC公司:60年第68季度 第68季度87 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,《信息计算》。232、38-65(2013;Zbl 1277.68138) 全文: 内政部
本杰明·阿米诺夫;Legay、Axel;阿尼埃洛·穆拉诺;奥利维尔·塞雷;莫舍·瓦尔迪。 用不完善的信息检查下推模块。 (英语) 兹比尔1282.68166 Inf.计算。 223, 1-17 (2013).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Aminof}等人,《信息计算》。223、1-17(2013年;Zbl 1282.68166) 全文: 内政部
佛罗伦萨·杰克马尔;弗朗西斯·克莱;卡米尔·瓦彻 刚性树自动机及其应用。 (英语) Zbl 1217.68131号 Inf.计算。 209,第3期,486-512(2011).MSC公司:65年第68季度 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Jacquemard}等人,《信息计算》。209,第3号,486--512(2011;Zbl 1217.68131) 全文: 内政部
安东·库切拉;理查德·迈尔 关于检查下推过程和有限状态过程之间语义等价性的复杂性。 (英语) Zbl 1194.68162号 Inf.计算。 208,第7期,772-796(2010).MSC公司:68问题85 65年第68季度 65年第68季度 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kučera}和\textit{R.Mayr},Inf.Comput。208,第7号,772--796(2010;Zbl 1194.68162) 全文: 内政部 链接
萨尔瓦多拉托雷;那不勒斯,玛格丽塔;帕伦特,米姆;Gennaro帕拉托 验证依赖于作用域的分层状态机。 (英语) Zbl 1147.68051号 Inf.计算。 206,编号9-10,1161-1177(2008).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.La Torre}等人,《信息计算》。206,编号9-101161-1177(2008;兹bl 1147.68051) 全文: 内政部 链接
Mödersheim,塞巴斯蒂安 协议验证中模型之间的关系。 (英语) Zbl 1146.68345号 Inf.计算。 206,编号2-4291-311(2008).MSC公司:68个M12 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Mödersheim},Inf.计算。206,编号2--4,291--311(2008;Zbl 1146.68345) 全文: 内政部
埃琳娜·费斯曼;帕维尔·科卡尔;保罗·佩特森;Yi,王 任务自动机:可调度性、可判定性和不可判定性。 (英语) Zbl 1121.68062号 Inf.计算。 205,第8期,1149-1172(2007).MSC公司:65年第68季度 2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Fersman}等人,《信息计算》。205,第8号,1149--1172(2007;Zbl 1121.68062) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;杰里米·斯普洛斯顿;王富之 概率时间自动机的符号模型检验。 (英语) Zbl 1122.68075号 Inf.计算。 205,第7期,1027-1077(2007).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,《信息计算》。205,第7号,1027--1077(2007;Zbl 1122.68075) 全文: 内政部
斯特凡·德姆里;迪帕克D’Souza 约束LTL的自动机理论方法。 (英语) 兹伯利1113.03015 Inf.计算。 205,第3期,380-415(2007). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B44号 03B70号 60年第68季度 05年3月 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{D.D’Souza},信息计算。205,第3号,380--415(2007;Zbl 1113.03015) 全文: 内政部
艾哈迈德·博阿贾尼;安卡·穆斯科尔;泰瑟·图利 置换重写和算法验证。 (英语) Zbl 1107.68052号 Inf.计算。 205,第2期,199-224(2007).MSC公司:60年第68季度 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人,《Inf.Compute》。205,第2号,199--224(2007;Zbl 1107.68052) 全文: 内政部
布莱斯·基内斯特;迪特里赫·库斯克;安卡·穆斯科尔 存在有界通信自动机的Kleene定理和模型检查算法。 (英语) Zbl 1104.68066号 Inf.计算。 204,第6号,920-956(2006).MSC公司:60年第68季度 68周05 65年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Genest}等人,《信息计算》。204,第6号,920--956(2006;Zbl 1104.68066) 全文: 内政部
托马斯·布里海耶;维罗尼克·布鲁埃;Jean-François拉斯金 关于带秒表观测器的模型检查时间自动机。 (英语) Zbl 1094.68055号 Inf.计算。 204,第3期,408-433(2006).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,《信息计算》。204,第3号,408--433(2006;Zbl 1094.68055) 全文: 内政部
法隆·莫勒;斯科特·斯莫尔卡;吉·斯尔巴 关于互模拟的计算复杂性,redux。 (英语) Zbl 1074.68038号 Inf.计算。 194,第2期,129-143(2004).MSC公司:68问题85 65年第68季度 65年第68季度 60年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{F.Moller}等人,《信息计算》。194,第2号,129--143(2004;Zbl 1074.68038) 全文: 内政部
彼得·扬查尔;安东·库切拉;法隆·莫勒;Zdeněk萨瓦 单计数器自动机等价性检查和模型检查的DP下界。 (英语) Zbl 1078.68087号 Inf.计算。 188,第1期,第1-19页(2004年).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Jančar}等人,《信息计算》。188,编号1,1--19(2004;Zbl 1078.68087) 全文: 内政部
哈维尔·埃斯帕尔扎;安东·库切拉;斯特凡·施温 对下推系统进行定期估值的模型检查LTL。 (英语) Zbl 1078.68081号 Inf.计算。 186,第2期,355-376(2003).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人,《信息计算》。186,编号2,355--376(2003;Zbl 1078.68081) 全文: 内政部
伊戈尔·瓦卢基维奇 下推过程:游戏和模型检查。 (英语) Zbl 1003.68072号 Inf.计算。 164,第2期,234-263(2001).MSC公司:60年第68季度 2017年第68季度 65年第68季度 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{I.Walukiewicz},信息计算。164,第2号,234--263(2001;Zbl 1003.68072) 全文: 内政部
拉杰夫·阿鲁尔;肯·麦克米兰;多龙·贝利德 并发对象正确性条件的模型检查。 (英语) 兹比尔1003.68067 Inf.计算。 160,编号1-2,167-188(2000).MSC公司:60年第68季度 2017年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,《信息计算》。160,编号1--2,167--188(2000;Zbl 1003.68067) 全文: 内政部 链接
帕罗什·阿齐兹·阿卜杜拉;采拉人、库尔利斯人;本特·琼森;蔡义权 具有良好拟序域的程序的算法分析。 (英语) Zbl 1046.68567号 Inf.计算。 160,编号1-2,109-127(2000).MSC公司:65年第68季度 60年第68季度 03年2月25日 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,《信息计算》。160,编号1--2,109-127(2000;Zbl 1046.68567) 全文: 内政部
库沙·埃特萨米;托马斯·威尔克 时间逻辑Ehrenfeucht-Fraíssé游戏的直到层次结构和其他应用程序。 (英语) Zbl 1005.03021号 Inf.计算。 160,编号1-2,88-108(2000).MSC公司:03B44号 05年3月 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Etessami}和\textit{T.Wilke},Inf.Compute。160,编号1--2,88-108(2000;Zbl 1005.03021) 全文: 内政部
库尔山,R.P。;麦克米兰,K.L。 过程的结构归纳定理。 (英语) Zbl 0828.68096号 Inf.计算。 117,第1期,第1-11页(1995年).MSC公司:60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.P.Kurshan}和\textit{K.L.McMillan},Inf.Compute。117,编号1,1-11(1995年;Zbl 0828.68096) 全文: 内政部
帕特丽斯·戈德弗里德;皮埃尔·沃尔珀 模型检查的一种局部方法。 (英语) Zbl 0806.68079号 Inf.计算。 110,第2号,305-326(1994).MSC公司:60年第68季度 2010年第68季度 65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Godefroid}和\textit{P.Wolper},Inf.Comput。110,第2号,305-326(1994;Zbl 0806.68079) 全文: 内政部 链接
尼尔斯·克拉伦德;弗雷德·施耐德。 使用进度措施证明非确定性规定的安全特性。 (英语) Zbl 0799.68136号 Inf.计算。 107,第1期,151-170(1993).MSC公司:60年第68季度 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Klarlund}和\textit{F.B.Schneider},Inf.Compute。107,第1号,151--170(1993;Zbl 0799.68136) 全文: 内政部 链接
利维奥·科卢西 模式匹配算法的正确性和效率。 (英语) Zbl 0738.68034号 Inf.计算。 95,第2期,225-251(1991).MSC公司:68宽10 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Colussi},Inf.计算。95,第2号,225--251(1991;Zbl 0738.68034) 全文: 内政部
M.尼瓦特。;A.索乌迪。 无限对象的自动机及其在逻辑和编程中的应用。 (英语) 兹伯利0691.68068 Inf.计算。 83,第1期,第41-64页(1989年). 审核人:M.斯坦比 MSC公司:65年第68季度 05年3月 60年第68季度 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Nivat}和\textit{A.Saoudi},信息计算。83,编号1,41--64(1989;Zbl 0691.68068) 全文: 内政部
南希·林奇。;尤金·斯塔克。 输入/输出自动机卡恩原理的证明。 (英语) 兹伯利0679.68119 Inf.计算。 82,第1号,81-92(1989).MSC公司:65年第68季度 68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.A.Lynch}和\textit{E.W.Stark},Inf.Compute。82,第1号,81--92(1989;Zbl 0679.68119) 全文: 内政部