艾克拉斯·阿马尔;衙门埃尔图阿蒂;约翰·马林斯;是的,莫伊兹 基于时间有界离散化语言的包含的时间有界验证。 (英语) Zbl 1458.68111号 发现的国际期刊。计算。科学。 32,第2期,175-202(2021).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Ammar}等人,国际法学研究所。计算。科学。32,第2号,175--202(2021;Zbl 1458.68111) 全文: 内政部
艾曼纽·菲利奥特;尼古拉斯·马佐奇;Jean-François拉斯金 带有输出的自动机的模式逻辑。 (英语) Zbl 1458.68097号 发现的国际期刊。计算。科学。 31,6号,711-748(2020).MSC公司:65年第68季度 03B70号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}等人,国际法学研究所。计算。科学。31,第6号,711--748(2020;Zbl 1458.68097) 全文: 内政部
穆罕默德·法乌齐(Mohamed Faouzi Atig);K.Narayan Kumar;普拉卡什·塞瓦桑 相邻的有序多推送系统。 (英语) Zbl 1309.68128号 发现的国际期刊。计算。科学。 25,第8号,1083-1096(2014).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Atig}等人,国际期刊发现。计算。科学。25,第8号,1083--1096(2014;Zbl 1309.68128) 全文: 内政部
西蒙·沃尔;马利克,罗比 使用抽象和规范自动机对广义非阻塞属性进行组合验证。 (英语) 兹比尔1291.68270 发现的国际期刊。计算。科学。 24,第8期,1183-1208(2013).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Ware}和\textit{R.Malik},国际期刊发现。计算。科学。24,第8号,1183--1208(2013;Zbl 1291.68270) 全文: 内政部
玛丽安·盖奥吉;佩恩,古奥热;佩雷兹·吉梅内斯(Pérez-Jiménez),马里奥·J·。;格列泽戈兹·罗森贝格 [A.阿尔哈佐夫。;伊万诺夫,S。;罗杰欣,Y。;Csuhaj-Varjü,E。;潘,L。;T·宋。;Krithivasan,K。;A.拉马努扬。;瓦西尔,G。;A.莱波拉蒂。;毛里,G。;A.E.波雷卡。;C.赞德隆。;N.墨菲。;里斯科斯·努涅斯,A。;Rius-Font,M。;罗梅罗·吉梅内斯(Romero-Jiménez),阿拉斯加州。;卡瓦利埃,M。;瓦西里,C。;A.B.帕维尔。;Dumitrache,I。;F.伊帕特。;O.Agrigoroaiei。;阿曼,B。;乔巴努,G。;张,G。;V·曼卡。;Hinze,T。;F.J.罗梅罗·卡佩罗。;Obtulowicz,A。;Díaz-Pernil,D。;Gutiérrez Naranjo,硕士。;García-Quismondo,M。;马西亚斯·拉莫斯,L.F。;Martínez-del-Amor,医学硕士。;佩雷兹·赫塔多,I。;瓦伦西亚-卡布雷拉。] 膜计算的研究前沿:开放问题和研究课题。 (英语) Zbl 1292.68065号 发现的国际期刊。计算。科学。 24,第5期,547-623(2013).MSC公司:2010年第68季度 68-02 2005年第68季度 65年第68季度 60年第68季度 2017年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gheorghe}等人,《国际法学杂志》发现。计算。科学。24,第5号,547--623(2013;Zbl 1292.68065) 全文: 内政部
阿莱西奥·洛穆西奥;本·斯特鲁洛;奈杰尔·沃克;吴鹏 假设根据当地规范进行推理。 (英语) Zbl 1286.68319号 发现的国际期刊。计算。科学。 24,第4期,419-444(2013).MSC公司:60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{A.Lomuscio}等人,《国际法学杂志》发现。计算。科学。24,第4号,419--444(2013;Zbl 1286.68319) 全文: 内政部
纳塔莉亚·斯克里普纽克;弗莱明·尼尔森 使用Horn子句的有限状态过程代数的可达性。 (英语) Zbl 1295.68169号 发现的国际期刊。计算。科学。 24,第2期,283-302(2013). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:68问题85 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Skrypnyuk}和\textit{F.Nielson},国际发现杂志。计算。科学。24,编号:2283-302(2013年;兹bl 1295.68169) 全文: 内政部
妈妈,马尔科姆;吉安弗兰科·西亚多 一种适用于非确定性系统的高效全符号互模拟算法。 (英语) Zbl 1353.68209号 发现的国际期刊。计算。科学。 24,第2期,263-282(2013).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Mumme}和\textit{G.Ciardo},国际期刊发现。计算。科学。24,第2号,263--282(2013;Zbl 1353.68209) 全文: 内政部
劳伦·弗里堡;乌尔里希·库恩 使用逆方法对混合自动机进行参数验证和测试覆盖。 (英语) Zbl 1286.68314号 发现的国际期刊。计算。科学。 24,第2期,233-249(2013).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Fribourg}和\textit{U.Kühne},国际期刊发现。计算。科学。24,第2号,233--249(2013;Zbl 1286.68314) 全文: 内政部
亚历山德罗·卡里奥尼;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯 模型检验模理论中的自动终止。 (英语) Zbl 1286.68308号 发现的国际期刊。计算。科学。 24,第2期,211-232(2013).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Carioni}等人,国际法学研究所。计算。科学。24,编号211-232(2013;兹bl 1286.68308) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔纳森·塞德伯格;托马斯·沃伊纳尔 具有多重链接结构的程序的单调抽象。 (英语) Zbl 1286.68304号 发现的国际期刊。计算。科学。 24,第2期,187-210(2013).MSC公司:60年第68季度 68号30 68兰特 03B70号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,国际期刊发现。计算。科学。24,第2号,187--210(2013;Zbl 1286.68304) 全文: 内政部
克里希南德·查特吉;卢卡·德·阿尔法罗;鲁帕克·马朱姆达尔 覆盖的复杂性。 (英语) Zbl 1286.68310号 发现的国际期刊。计算。科学。 24,第2期,165-185(2013).MSC公司:60年第68季度 68号30 65年第68季度 91A80型 91A20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,国际期刊发现。计算。科学。24,第2号,165--185(2013;Zbl 1286.68310) 全文: 内政部
乔治·德尔扎诺(编辑);伊戈尔·波塔波夫(编辑) 特刊:根据2011年9月28日至30日在意大利热那亚举行的第五届可达性问题研讨会上的陈述,对论文进行了修订和选择。 (英语) Zbl 1273.68025号 发现的国际期刊。计算。科学。24,第2期,161-302(2013)。 MSC公司:68-06 00B25型 60年第68季度 PDF格式BibTeX公司 XML格式
奥利弗·弗里德曼;马丁·兰格 奇偶对策求解的两个局部策略迭代方案。 (英语) Zbl 1246.91025号 发现的国际期刊。计算。科学。 23,第3期,669-685(2012).MSC公司:91年43月 91A05型 60年第68季度 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{O.Friedmann}和\textit{M.Lange},国际期刊发现。计算。科学。23,第3号,669--685(2012;Zbl 1246.91025) 全文: 内政部
安吉洛·蒙塔纳里(编辑);马格丽塔·那不勒斯(编辑);帕伦特,米姆(编辑) 特刊:游戏、自动化、逻辑和形式验证(GandALF 2010)。根据2010年6月17日至18日在意大利米诺里举行的第一届研讨会上的陈述,选出了一些论文。 (英语) Zbl 1250.68042号 发现的国际期刊。计算。科学。23,第3期,555-711(2012)。 MSC公司:68-06 91-06 03-06 00B25型 60年第68季度 65年第68季度 91A05型 91年43月 91A24型 第91页第15页 03B80号 03B44号 03B45号 05年3月 PDF格式BibTeX公司 XML格式
于、方;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。 使用多轨迹自动机进行关系字符串验证。 (英语) Zbl 1234.68270号 发现的国际期刊。计算。科学。 1909-1924年第8期22号(2011).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Yu}等人,国际期刊发现。计算。科学。22,第8号,1909年--1924年(2011年;Zbl 1234.68270) 全文: 内政部
彼得·柯林斯;伊万·萨普雷夫。 离散时间和连续空间动态系统上\(\text{CTL}^*\)的可计算语义。 (英语) Zbl 1238.68084号 发现的国际期刊。计算。科学。 22,第4期,801-821(2011). 审核人:马丁·兰格(卡塞尔) MSC公司:60年第68季度 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Collins}和\textit{I.S.Zaprev},国际期刊发现。计算。科学。22,第4号,801--821(2011;Zbl 1238.68084) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷津 使用图形约束自动验证基于目录的一致性协议。 (英语) Zbl 1216.68048号 发现的国际期刊。计算。科学。 22,第4期,761-782(2011).MSC公司:68个M12 68兰特 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,国际期刊发现。计算。科学。22,第4号,761--782(2011;Zbl 1216.68048) 全文: 内政部
佛罗伦萨伊帕特;拉卢卡左翼;克里斯蒂娜·图多斯 使用Spin对P系统进行正式验证。 (英语) Zbl 1213.68273号 发现的国际期刊。计算。科学。 22,第1期,133-142(2011).MSC公司:2010年第68季度 2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}等人,国际期刊发现。计算。科学。22,第1号,133--142(2011;Zbl 1213.68273) 全文: 内政部
Martínez-Del-Amor,医学硕士。;佩雷兹·赫塔多,I。;Pérez-Jiménez,M.J。;里斯科斯·努涅斯,A。;桑乔·卡帕里尼,F。 多环境概率P系统的仿真算法:形式验证。 (英语) Zbl 1213.68383号 发现的国际期刊。计算。科学。 第107-118号第22页(2011年).MSC公司:60年第68季度 2005年第68季度 92D25型 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Martínez Del Amor}等人,国际发现杂志。计算。科学。22,第1号,107--118(2011;Zbl 1213.68383) 全文: 内政部
徐明;陈良玉;曾振兵;李志斌 线性回路的终止分析。 (英语) Zbl 1213.68213号 发现的国际期刊。计算。科学。 21,第6号,1005-1019(2010).MSC公司:68号30 60年第68季度 68瓦30 68-04 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人,国际期刊发现。计算。科学。21,第6号,1005--1019(2010;Zbl 1213.68213) 全文: 内政部
Henning施诺尔 布尔公式模型检查的复杂性。 (英语) Zbl 1192.68436号 发现的国际期刊。计算。科学。 21,第3期,289-309(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Schnoor},国际期刊发现。计算。科学。21,第3号,289--309(2010;Zbl 1192.68436) 全文: 内政部
奥利弗·弗里德曼 Stevens-Sterling局部求解奇偶博弈的算法需要指数时间。 (英语) Zbl 1188.91044号 发现的国际期刊。计算。科学。 21,第3期,277-287(2010).MSC公司:91年43月 60年第68季度 65年第68季度 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{O.Friedmann},国际期刊发现。计算。科学。21,第3号,277--287(2010;Zbl 1188.91044) 全文: 内政部
雷卡德,劳拉;谢尔盖·哈达德;曼纽尔·席尔瓦 连续Petri网:表达能力和可判定性问题。 (英语) 兹比尔1200.68164 发现的国际期刊。计算。科学。 第235-256号第21页(2010年).MSC公司:68问题85 2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Recalde}等人,国际期刊发现。计算。科学。21,第2号,235--256(2010;Zbl 1200.68164) 全文: 内政部
奥尔纳·库普弗曼;尤德·卢斯蒂格 格子模拟关系和游戏。 (英语) Zbl 1200.68155号 发现的国际期刊。计算。科学。 21,第2期,167-189(2010).MSC公司:60年第68季度 91A80型 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{Y.Lustig},国际期刊发现。计算。科学。21,第2号,167--189(2010;Zbl 1200.68155) 全文: 内政部
黄耿典;王,弯腰 完成基于SAT的无上下文流程模型检查。 (英语) Zbl 1198.68168号 发现的国际期刊。计算。科学。 21,第2期,115-134(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.-D.Huang}和\textit{B.-Y.Wang},Int.J.Found。计算。科学。21,第2号,115--134(2010;Zbl 1198.68168) 全文: 内政部
基达尔·纳姆乔什(编辑);友大义达(编辑) 特刊:用于验证和分析的自动化技术(ATVA 2007)。根据2007年10月22日至25日在日本东京举行的第五届国际研讨会上所作的陈述,选出了一些论文。 (英语) 兹比尔1198.68054 发现的国际期刊。计算。科学。21,第2期,113-256(2010年)。 MSC公司:68-06 00B25型 60年第68季度 PDF格式BibTeX公司 XML格式
Jan Friso,格鲁特;贝斯·普洛格 切换图形。 (英语) Zbl 1187.68314号 发现的国际期刊。计算。科学。 20,第5号,869-886(2009).MSC公司:60年第68季度 05立方38 2017年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{B.Ploeger},Int.J.Found。计算。科学。20,第5号,869--886(2009;Zbl 1187.68314) 全文: 内政部
Ingo Felscher公司;沃尔夫冈·托马斯 具有路径长度条件的组合性和可达性。 (英语) Zbl 1182.68118号 发现的国际期刊。计算。科学。 20,第5期,851-868(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Felscher}和\textit{W.Thomas},国际期刊发现。计算。科学。20,第5号,851--868(2009;Zbl 1182.68118) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;努梅内·本·亨达;艾哈迈德·雷津 单调抽象:关于参数化系统的有效验证。 (英语) Zbl 1186.68272号 发现的国际期刊。计算。科学。 20,第5号,779-801(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,国际期刊发现。计算。科学。20,第5号,779--801(2009;Zbl 1186.68272) 全文: 内政部
弗朗索瓦·坎廷;Legay、Axel;皮埃尔·沃尔珀 通过自动机迭代计算凸包。 (英语) 兹比尔1194.68134 发现的国际期刊。计算。科学。 20,第4期,647-667(2009).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Cantin}等人,国际法学研究所。计算。科学。20,第4号,647--667(2009;Zbl 1194.68134) 全文: 内政部
史蒂文·林德尔 双链接数据结构上一阶逻辑的标准形式。 (英语) Zbl 1161.68401号 发现的国际期刊。计算。科学。 19,第1号,205-217(2008).MSC公司:68第05页 03B10号机组 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lindell},国际期刊发现。计算。科学。19,第1号,205--217(2008;Zbl 1161.68401) 全文: 内政部
阿尼尔·赛斯 二阶下推系统符号可达性分析中的一种替代结构。 (英语) Zbl 1155.68046号 发现的国际期刊。计算。科学。 19,第4期,983-998(2008).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Seth},找到国际期刊。计算。科学。19,第4号,983--998(2008;Zbl 1155.68046) 全文: 内政部
阿列克谢·利西萨;安德烈·奈米提克(Andrei P.Nemytykh)。 通过超级编译进行验证时的可达性分析。 (英语) Zbl 1162.68477号 发现的国际期刊。计算。科学。 19,第4期,953-969(2008).MSC公司:60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Lisitsa}和\textit{A.P.Nemytykh},国际期刊发现。计算。科学。19,第4953-969号(2008年;兹bl 1162.68477) 全文: 内政部
奥斯卡·H·伊巴拉。;当、哲;杨林敏 计数器、可达性问题和丢番图方程。 (英语) Zbl 1164.68013号 发现的国际期刊。计算。科学。 19,第4期,919-934(2008).MSC公司:65年第68季度 03B25号 05年3月 2005年11月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}等人,国际法学研究所。计算。科学。19,第4号,919--934(2008;Zbl 1164.68013) 全文: 内政部
贾努斯·布尔佐夫斯基;赫尔穆特·尤根森 用标准词和等价物表示半自动机。二: 软件模块规范。 (英语) Zbl 1202.68221号 发现的国际期刊。计算。科学。 18,第5号,1065-1087(2007).MSC公司:65年第68季度 68号30 60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Brzozowski}和\textit{H.Jürgensen},国际期刊发现。计算。科学。18,第5号,1065--1087(2007;Zbl 1202.68221) 全文: 内政部
斯文·舍韦;伯恩德·芬克贝纳 半自动分布式合成。 (英语) Zbl 1112.68095号 发现的国际期刊。计算。科学。 18,第1期,113-138(2007).MSC公司:60年第68季度 03B44号 64岁以下 2017年第68季度 65年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Schewe}和\textit{B.Finkbeiner},国际期刊发现。计算。科学。18,第113-138号(2007年;兹bl 1112.68095) 全文: 内政部
斯特凡·德姆里;诺瓦克,大卫 关于超限序列的推理。 (英语) Zbl 1109.68065号 发现的国际期刊。计算。科学。 18,第1号,87-112(2007).MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{D.Nowak},国际期刊发现。计算。科学。18,第1号,87--112(2007;Zbl 1109.68065) 全文: 内政部
达姆,沃纳;吉尔赫梅·平托;斯特凡·拉特肖恩 非线性鲁棒离散时间混合系统LTL特性验证的保证终止。 (英语) Zbl 1109.68064号 发现的国际期刊。计算。科学。 18,第1号,63-86(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人,国际期刊发现。计算。科学。18,编号1,63--86(2007;Zbl 1109.68064) 全文: 内政部
菲克斯,利莫;奥尔纳·格伦伯格;阿蒙·海曼;泰米尔·海曼;阿萨夫·舒斯特 使用100种及以上工艺验证超大工业电路。 (英语) Zbl 1107.68428号 发现的国际期刊。计算。科学。 18,第1号,45-61(2007).MSC公司:60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{L.Fix}等人,发现国际期刊。计算。科学。18,第1号,45--61(2007;Zbl 1107.68428) 全文: 内政部
巴拉班,伊泰;阿米尔·普努利;Lenore D.扎克。 模块化排名抽象。 (英语) Zbl 1109.68062号 发现的国际期刊。计算。科学。 18,第1号,5-44(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Balaban}等人,国际法学研究所。计算。科学。18,第1号,第5--44号(2007;Zbl 1109.68062) 全文: 内政部
安斯加·芬克;布鲁斯·克罗格 混合动力系统验证不是一件闲事——电子节气门控制案例研究。 (英语) Zbl 1096.68670号 发现的国际期刊。计算。科学。 17,第4期,885-901(2006).MSC公司:60年第68季度 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Fehnker}和\textit{B.Krogh},国际法学杂志发现。计算。科学。17,第4号,885--901(2006;Zbl 1096.68670) 全文: 内政部
马利克,罗比;大卫·斯特雷德;史蒂夫·里夫斯 冲突和公平测试。 (英语) Zbl 1096.68109号 发现的国际期刊。计算。科学。 17,第4期,797-813(2006).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Malik}等人,《国际法学杂志》发现。计算。科学。17,第4号,797--813(2006;Zbl 1096.68109) 全文: 内政部
于、方;王,弯腰 基于SAT的区域自动机模型检验。 (英语) Zbl 1098.68082号 发现的国际期刊。计算。科学。 17,第4期,775-795(2006).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Yu}和\textit{B.-Y.Wang},国际期刊发现。计算。科学。17,编号4775-795(2006年;Zbl 1098.68082) 全文: 内政部
多龙·贝利德;曲洪阳 实施并发时间行为。 (英语) Zbl 1098.68080号 发现的国际期刊。计算。科学。 17,第4期,743-761(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}和\textit{H.Qu},Int.J.Found。计算。科学。17,第4号,743--761(2006;Zbl 1098.68080) 全文: 内政部
艾默生·E·艾伦;克里斯蒂娜·哈格。;Jay H.Konieczka。 分子模型检查。 (英语) Zbl 1096.68090号 发现的国际期刊。计算。科学。 17,第4期,733-741(2006).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}等人,国际期刊发现。计算。科学。17,第4号,733--741(2006;Zbl 1096.68090) 全文: 内政部
安卡·穆斯科尔;伊戈尔·瓦卢基维奇 LTL的NP完整片段。 (英语) Zbl 1161.03303号 发现的国际期刊。计算。科学。 16,第4期,743-753(2005).MSC公司:03B44号 65年第68季度 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Muscholl}和\textit{I.Walukiewicz},国际期刊发现。计算。科学。16,第4号,743--753(2005;Zbl 1161.03303) 全文: 内政部
马诺利斯Gergatsoulis;克里斯托斯·诺米科斯 时态逻辑编程的一种证明过程。 (英语) 兹比尔1067.68044 发现的国际期刊。计算。科学。 15,第2期,417-443(2004).MSC公司:68N17号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Gergatsoulis}和\textit{C.Nomikos},国际期刊发现。计算。科学。15,第2号,417--443(2004;Zbl 1067.68044) 全文: 内政部
王法恩 具有最大值、最小值和加法的数字的归纳合成。 (英语) Zbl 1136.68429号 发现的国际期刊。计算。科学。 15,第6期,865-892(2004).MSC公司:60年第68季度 2010年第68季度 2012年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Wang},国际期刊发现。计算。科学。15,第6号,865--892(2004;Zbl 1136.68429) 全文: 内政部
埃德蒙·克拉克;安斯加·芬克;韩、智;布鲁斯·克罗格;约尔·瓦克宁;奥拉夫·斯特斯伯格;迈克尔·西奥博尔德 混合系统模型检验中的抽象和反例引导精化。 (英语) Zbl 1101.68678号 发现的国际期刊。计算。科学。 14,第4期,583-604(2003).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人,国际法学研究所。计算。科学。14,第4号,583--604(2003;Zbl 1101.68678) 全文: 内政部
艾哈迈德·博阿贾尼;哈维尔·埃斯帕尔扎;泰瑟·图利 使用过程对并发程序进行静态分析的通用方法。 (英语) Zbl 1101.68457号 发现的国际期刊。计算。科学。 第4期第14期第551-582页(2003年).MSC公司:68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人,国际期刊发现。计算。科学。14,第4号,551--582(2003;Zbl 1101.68457) 全文: 内政部
当、哲;奥斯卡·H·伊巴拉。 传递混合线性关系(ω链)的存在性及其应用。 (英语) Zbl 1067.68090号 发现的国际期刊。计算。科学。 13,第6期,911-936(2002).MSC公司:60年第68季度 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Dang}和\textit{O.H.Ibarra},国际期刊发现。计算。科学。13,第6号,911--936(2002;Zbl 1067.68090) 全文: 内政部
尼科莱塔·德·弗朗西斯科;安东内拉·桑顿 对状态爆炸的公式驱动的模块化攻击。 (英语) Zbl 1066.68076号 发现的国际期刊。计算。科学。 13,第5期,719-731(2002).MSC公司:60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{N.De Francesco}和\textit{A.Santone},国际法学协会发现。计算。科学。13,第5号,719--731(2002;Zbl 1066.68076) 全文: 内政部
尼尔斯·克拉伦德;安德斯·默勒;迈克尔·施瓦茨巴赫。 MONA实施秘密。 (英语) Zbl 1066.68079号 发现的国际期刊。计算。科学。 13,第4期,571-586(2002).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Klarlund}等人,国际发现杂志。计算。科学。13,编号4751-586(2002年;兹bl 1066.68079) 全文: 内政部
费尔鲁兹Kamareddine;弗朗索瓦·莫宁 递归函数自动终止方法的扩展。 (英语) Zbl 1066.68118号 发现的国际期刊。计算。科学。 13,第3期,361-386(2002).MSC公司:68吨15 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.卡马雷丁}和\textit{F.Monin},国际期刊发现。计算。科学。13,第3号,361--386(2002;Zbl 1066.68118) 全文: 内政部
杰斯珀·古尔曼·亨利克森 TLC的一个富有表现力的扩展。 (英语) Zbl 1066.68077号 发现的国际期刊。计算。科学。 13,第3期,341-360(2002).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Henriksen},国际J.Found。计算。科学。13,第3号,341--360(2002;Zbl 1066.68077) 全文: 内政部
den Hartog,J.I。;德文克,E.P。 使用类Hoare逻辑验证概率程序。 (英语) Zbl 1066.68081号 发现的国际期刊。计算。科学。 13,第3期,315-340(2002).MSC公司:60年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{J.I.den Hartog}和\textit{E.P.de Vink},Int.J.Found。计算。科学。13,第315-340号(2002年;兹bl 1066.68081) 全文: 内政部
奥斯卡·H·伊巴拉。 队列连接的多计数器机器中的验证。 (英语) 兹比尔1066.68078 发现的国际期刊。计算。科学。 13,第1期,115-127(2002).MSC公司:60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra},国际法院发现。计算。科学。13,编号1,115-127(2002;Zbl 1066.68078) 全文: 内政部
大卫·哈雷;希勒尔·库格勒 根据LSC规范合成基于状态的对象系统。 (英语) Zbl 1066.68017号 发现的国际期刊。计算。科学。 13,第1期,第5-51页(2002年).MSC公司:68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}和\textit{H.Kugler},国际期刊发现。计算。科学。13、第1号、第5--51号(2002年;Zbl 1066.68017) 全文: 内政部
奥斯卡·H·伊巴拉。;特夫菲克·布尔坦;苏建文 无限状态系统中的可达性和安全性。 (英语) Zbl 1319.68084号 发现的国际期刊。计算。科学。 12,第6号,821-836(2001).MSC公司:2005年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}等人,国际法学研究所。计算。科学。12,第6号,821--836(2001;Zbl 1319.68084) 全文: 内政部
埃德加·莱德勒。;罗密欧·A·杜米特里斯库。 通过完整的运行时计算检查自动进行结果验证。 (英语) Zbl 1319.68057号 发现的国际期刊。计算。科学。 12,第1期,97-124(2001).MSC公司:68甲18 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.F.A.Lederer}和\textit{R.A.Dumitrescu},国际期刊发现。计算。科学。12,第1号,97--124(2001;Zbl 1319.68057) 全文: 内政部
夏马桑达,R.K。;拉梅什,S。 反应式规范的语言:同步与异步。 (英语) Zbl 1319.68143号 发现的国际期刊。计算。科学。 第2期第11期第283-314页(2000年).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.K.Shyamasundar}和\textit{S.Ramesh},国际期刊发现。计算。科学。11,第2号,283--314(2000;Zbl 1319.68143) 全文: 内政部
奥斯卡·H·伊巴拉。;佩德罗·迪尼兹。;马丁·里纳德(Martin C.Rinard)。 关于交换性分析的复杂性。 (英语) Zbl 0870.68050号 发现的国际期刊。计算。科学。 8,第1期,81-94(1997).MSC公司:68N99型 65年第68季度 2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}等人,国际法学研究所。计算。科学。8,编号1,81--94(1997;Zbl 0870.68050) 全文: 内政部
Makoto Tatsuta 单调归纳定义的两种可实现性解释。 (英语) Zbl 0802.03027号 发现的国际期刊。计算。科学。 5,第1期,1-21页(1994年).MSC公司:03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Tatsuta},国际期刊发现。计算。科学。5,编号1,1--21(1994;Zbl 0802.03027) 全文: 内政部
沃伊切赫·彭泽克 跟踪系统的时间逻辑:关于自动验证。 (英语) Zbl 0783.68081号 发现的国际期刊。计算。科学。 4,第1期,31-67(1993).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek},国际期刊发现。计算。科学。4,第1号,31-67(1993年;兹bl 0783.68081) 全文: 内政部
卡马尔·洛达亚;拉马努贾姆,R。;Thiagarajan,P.S。 用于通信顺序代理的时间逻辑。一、。 (英语) 兹伯利0754.68085 发现的国际期刊。计算。科学。 3,第2期,117-159(1992).MSC公司:60年第68季度 03B70号 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Lodaya}等人,国际期刊发现。计算。科学。3,第2号,117--159(1992;Zbl 0754.68085) 全文: 内政部
阮晋东 恶魔般的非确定性程序的关系模型。 (英语) Zbl 0739.68063号 发现的国际期刊。计算。科学。 2,第2期,101-131(1991).MSC公司:60年第68季度 2010年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{T.T.Nguyen},国际期刊发现。计算。科学。2,编号2,101--131(1991;Zbl 0739.68063) 全文: 内政部