大卫·海兰德;朱利安·古铁雷斯;迈克尔·伍尔德里奇 并发游戏的激励工程。 (英语) Zbl 07810626号 Verbrugge,Rineke(编辑),《第十九届理性与知识理论方面会议记录》,TARK,英国牛津,2023年6月28日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)379344-358(2023年)。MSC公司:91A20型 91B43型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Hyland}等人,《电子》。程序。西奥。计算。科学。(EPTCS)379、344-358(2023年;Zbl 07810626) 全文: 内政部 arXiv公司
蒙特塞拉特赫尔莫;帕基·卢西奥;塞萨尔·桑切斯 安全规范可实现性表。 (英语) Zbl 1529.68159号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 495-513 (2023).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hermo}等人,Lect。注释计算。科学。14000,495--513(2023;Zbl 1529.68159) 全文: 内政部 arXiv公司
迪伦,贝利耶;马西莫·贝内雷切蒂;黛拉·莫妮卡,达里奥;法比奥·莫加维罗 Good-for-game QPTL:一种交替的hodges语义。 (英语) Zbl 07650600号 ACM事务处理。计算。日志。 24,第1号,第4号论文,57页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Bellier}等人,ACM Trans。计算。日志。24,第1号,第4号论文,57页(2023;Zbl 07650600) 全文: 内政部 arXiv公司
丹尼尔·奈德;亚历山大·韦内特;马丁·齐默尔曼 健壮、富有表现力和定量的线性时序逻辑:免费选择任意两种。 (英语) Zbl 07538307号 Inf.计算。 285,B部分,文章ID 104810,23 p.(2022).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Neider}等人,《信息计算》。285,B部分,文章ID 104810,23 p.(2022;Zbl 07538307) 全文: 内政部 链接
卡罗琳娜·莱赫蒂宁;帕里斯(Pawe Parys);斯文·舍韦;多米尼克·沃伊特扎克 求解拟多项式时间奇偶对策的递归方法。 (英语) Zbl 07471697号 日志。方法计算。科学。 18,第1号,第8号论文,第18页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{K.Lehtinen}等人,《日志》。方法计算。科学。18,第1号,第8号论文,18页(2022;Zbl 07471697) 全文: arXiv公司 链接
亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;斯特凡诺·托内塔 扩展有界响应的公平性、假设和保证长期贷款+P合成。 (英语) Zbl 1522.68302号 Calinescu,Radu(编辑)等人,《软件工程和形式化方法》。第19届国际会议,SEFM 2021,虚拟活动,2021年12月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13085, 351-371 (2021).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Lect。注释计算。科学。13085、351--371(2021;Zbl 1522.68302) 全文: 内政部
肖恩·阿佐帕迪;尼尔·皮特曼;杰拉尔多·施奈德 在反应合成中加入监测器而无需付出代价。 (英语) Zbl 1497.68284号 Hou,Zhe(编辑)等,验证和分析自动化技术。第19届国际研讨会,2021年10月18日至22日,澳大利亚昆士兰州黄金海岸,ATVA 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12971, 337-353 (2021).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Azzopardi}等人,莱克特。注释计算。科学。12971、337--353(2021;Zbl 1497.68284) 全文: 内政部 arXiv公司
卢卡斯·塔巴哈拉。;莫舍·瓦尔迪。 线性时序逻辑——从无限到有限。 (英语) 兹比尔1497.03035 Hou,Zhe(编辑)等,验证和分析自动化技术。第19届国际研讨会,2021年10月18日至22日,澳大利亚昆士兰州黄金海岸,ATVA 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12971, 3-12 (2021).MSC公司:03B44号 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Tabajara}和\textit{M.Y.Vardi},Lect。注释计算。科学。12971,3-12(2021;Zbl 1497.03035) 全文: 内政部
克里斯托夫·Löding 无限树上的自动机。 (英语) Zbl 07469506号 Pin,Jean-Eric(编辑),《自动机理论手册》。第一卷理论基础。柏林:欧洲数学学会(EMS)。265-302(2021年)。MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{C.Löding},摘自:自动机理论手册。第一卷理论基础。柏林:欧洲数学学会(EMS)。265--302(2021;Zbl 07469506) 全文: 内政部
朱利安·古铁雷斯;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;萨沙·鲁宾;托马斯·斯蒂普尔斯;迈克尔·伍尔德里奇 质量和数量目标相结合的游戏的平衡。 (英语) Zbl 1483.68193号 学报信息。 58,第6号,585-610(2021).MSC公司:60年第68季度 03B44号 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息学报》58,第6期,585--610(2021年;Zbl 1483.68193) 全文: 内政部 arXiv公司 链接
加尔阿姆拉姆;沙哈尔·茂兹;活塞,或 GR(1)*:通过存在保证扩展的GR(一)规范。 (英语) Zbl 1519.68129号 正式Asp。计算。 33,编号4-5,729-761(2021).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Amram}等人,正式Asp。计算。33,编号4--5,729--761(2021;Zbl 1519.68129) 全文: 内政部
迭戈·菲格拉;阿尼尔班·马朱姆达尔;M·普拉文。 使用能量游戏玩数据单词中的重复。 (英语) Zbl 1497.91007号 日志。方法计算。科学。 16,第3号,第1号论文,42页(2020年).MSC公司:91A05型 03B25号 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Figueira}等人,日志。方法计算。科学。16,第3号,第1号论文,42页(2020年;Zbl 1497.91007) 全文: arXiv公司 链接
伯恩德·芬克贝纳;克里斯托弗·哈恩;菲利普·卢克特;马文·斯坦格;Tentrup,Leander公司 超属性合成。 (英语) Zbl 1435.68194号 学报信息。 57,编号1-2137-163(2020).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人,《信息学报》第57期,第1期,第2期,第137-163期(2020年;兹bl 1435.68194) 全文: 内政部 arXiv公司
迈克尔·卢滕伯格;菲利普·梅耶(Philipp J.Meyer)。;所罗门·西克特 通过奇偶博弈从LTL规范对反应系统进行实际综合。 (英语) 兹比尔1435.68200 学报信息。 57,编号1-2,3-36(2020).MSC公司:60年第68季度 03B44号 65年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Luttenberger}等人,《信息学报》57,第1--2、3--36期(2020年;Zbl 1435.68200) 全文: 内政部 arXiv公司
克劳迪奥·蒙吉;鲍拉·斯波莱蒂尼;玛莎·契契克;卡洛·盖齐 控制器迭代设计的验证驱动框架。 (英语) Zbl 1425.68262号 正式Asp。计算。 31,5号,459-502(2019).MSC公司:60年第68季度 03B44号 68N99型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,正式Asp。计算。31,第5号,459--502(2019;Zbl 1425.68262) 全文: 内政部
纳塔娜·菲亚尔科夫;巴斯蒂安·莫伯特;阿尼埃洛·穆拉诺;萨沙·鲁宾 量化战略逻辑中的界限。 (英语) Zbl 1528.68218号 Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第23条,第23页(2018)。MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Fijalkow}等人,LIPIcs——莱布尼茨国际程序。通知。119,第23条,23 p.(2018;Zbl 1528.68218) 全文: 内政部
莱奥·埃克巴德;艾曼纽·菲利奥特;伊斯马·杰克 多序列规格换能器综合的复杂性。 (英语) Zbl 1512.68138号 Potapov,Igor(编辑)等人,第43届计算机科学数学基础国际研讨会。2018年8月27日至31日,英国利物浦,MFCS 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117,第46条,第16页(2018年)。MSC公司:65年第68季度 03B25号 05年3月 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Exibard}等人,LIPIcs——莱布尼茨国际程序。通知。117,第46条,第16页(2018;Zbl 1512.68138) 全文: 内政部 arXiv公司
戴维德·贾科莫·卡维扎;达拉·阿拉杰;安德拉斯·吉尔吉 GR(1)公式的弱点度量。 (英语) 兹比尔1460.68054 Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10951, 110-128 (2018).MSC公司:60年第68季度 03B44号 28A80型 28天20分 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.G.Cavezza}等人,Lect。注释计算。科学。10951、110-128(2018;Zbl 1460.68054) 全文: 内政部 arXiv公司
本杰明·阿米诺夫;阿尼埃洛·穆拉诺;萨沙·鲁宾 使用分级路径模式的CTL(^\ast)。 (英语) Zbl 1407.03028号 Inf.计算。 262,第1部分,1-21(2018). 审核人:马丁·兰格(卡塞尔) MSC公司:03B44号 03B25号 05年3月 65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Aminof}等人,《信息计算》。262,第1部分,1--21(2018;Zbl 1407.03028) 全文: 内政部 链接
马丁·齐默尔曼 参数化线性时序逻辑满足成本:仍然不比LTL更昂贵。 (英语) Zbl 1390.68445号 学报信息。 55,第2期,129-152(2018).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Zimmermann},《学报》第55期,第2期,第129--152页(2018年;Zbl 1390.68445) 全文: 内政部 arXiv公司
切博塔列夫,A.N。 一阶逻辑语言LP和LF中指定的(Sigma)-自动机的合成问题。 (英语。俄文原件) Zbl 1380.68271号 赛博。系统。分析。 第5号第53页,第675-683页(2017年); 翻译自Kibern。修女。分析。2017年,第5期,22-33(2017)。MSC公司:60年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev},Cybern(网络)。系统。分析。53,第5号,675--683(2017;Zbl 1380.68271);翻译自Kibern。修女。分析。2017年第5号、第22-33号(2017) 全文: 内政部
彼得·尼尔森;内克米耶Ozay;刘军 作为控制综合抽象的增广有限过渡系统。 (英语) Zbl 1379.93050号 离散事件动态。系统。 27,第2期,301-340(2017).MSC公司:93亿B50 93立方 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Nilsson}等人,离散事件Dyn。系统。27,第2号,301-340(2017;Zbl 1379.93050) 全文: 内政部
沙乌尔·阿尔马戈;奥尔纳·库普弗曼 噪声输入下的格型LTL合成。 (英语) Zbl 1374.93029号 离散事件动态。系统。 27,第3期,547-572(2017).MSC公司:93A30型 93亿B50 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}和\textit{O.Kupferman},离散事件动态。系统。27,第3号,547--572(2017;Zbl 1374.93029) 全文: 内政部
丰田隆树;上野,Atsushi;Masaya岛川;Shigeki Hagihara;直纪延崎 考虑最大可实现性的无安全LTL综合。 (英语) Zbl 1380.68285号 学报信息。 54,第7号,655-692(2017).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.Tomita}等人,《学报》第54期,第7期,第655--692页(2017年;Zbl 1380.68285) 全文: 内政部
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 从模型检查到平衡检查:用于理性验证的反应性模块。 (英语) Zbl 1420.68129号 Artif公司。因特尔。 248, 123-157 (2017).MSC公司:60年第68季度 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Artif。智力。248123-157(2017;Zbl 1420.68129) 全文: 内政部 链接
彼得·费蒙维尔;马丁·齐默尔曼 参数线性动态逻辑。 (英语) 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公司
范·赫斯特,A.C。;雷尼尔斯,M.A。;W.J.福克金。 非确定性和模态逻辑的最大允许受控系统综合。 (英语) Zbl 1356.93030号 离散事件动态。系统。 27,第1号,109-142(2017).MSC公司:93亿B50 03B45号 93个B05 65年第68季度 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.C.van Hulst}等人,《离散事件动力学》。系统。27,第1号,109--142(2017;Zbl 1356.93030) 全文: 内政部
Tentrup,Leander公司;亚历山大·韦内特;马丁·齐默尔曼 在双指数时间内,逼近即时-LTL可实现性的最佳界。 (英语) Zbl 1478.68179号 Cantone,Domenico(编辑)等人,第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,卡塔尼亚,意大利,2016年9月14-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)226302-315(2016)。MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Tentrup}等人,《电子》。程序。西奥。计算。科学。(EPTCS)226302-315(2016;Zbl 1478.68179) 全文: arXiv公司 链接
奥尔纳·库普弗曼;朱塞佩·佩雷利;莫舍·瓦尔迪。 合理环境的合成。 (英语) Zbl 1372.68173号 安。数学。Artif公司。因特尔。 78,编号1,3-20(2016).MSC公司:60年第68季度 03B70号 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《数学年鉴》。Artif公司。智力。78,第1号,第3--20号(2016;Zbl 1372.68173) 全文: 内政部
马丁·齐默尔曼 参数化线性时序逻辑满足成本:仍然不比LTL更昂贵。 (英语) Zbl 1476.03020号 Esparza,Javier(编辑)等人,《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2015,热那亚,意大利,2015年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)193、144-157(2015)。MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Zimmermann},电子。程序。西奥。计算。科学。(EPTCS)193,144--157(2015;Zbl 1476.03020) 全文: arXiv公司 链接
马西莫·贝内雷切蒂;法比奥·莫加维罗;阿尼埃洛·穆拉诺 关于子结构和博弈的推理。 (英语) Zbl 1354.03019号 ACM事务处理。计算。日志。 第16条第3款第25条第51页(2015年).MSC公司:03B44号 03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人,《美国医学杂志》。计算。日志。16,第3号,第25条,51页(2015;Zbl 1354.03019) 全文: 内政部
克里斯蒂安·冯·埃森;芭芭拉·乔布斯曼 程序修复无遗憾。 (英语) 兹比尔1322.68056 形式方法系统。设计。 47,第1期,26-50(2015).MSC公司:68号30 03B70号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.von Essen}和\textit{B.Jobstmann},《形式方法系统》。设计。47,第1号,第26--50条(2015;Zbl 1322.68056) 全文: 内政部 链接
柯特林·迪马;巴斯蒂安·莫伯特;苏菲·平奇纳特 过渡系统中的相关路径:模态微积分的下降。 (英语) Zbl 1465.68173号 Italiano,F.(ed.)等人,《2015年计算机科学数学基础》。第40届国际研讨会,2015年MFCS,意大利米兰,2015年8月24-28日。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。9234, 179-191 (2015).MSC公司:60年第68季度 03B16号 03B45号 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{C.Dima}等人,Lect。注释计算。科学。9234、179--191(2015年;Zbl 1465.68173) 全文: 内政部
约阿希姆·克莱因;克里斯特尔·拜尔;克吕佩尔霍尔茨,萨沙 大多数通用控制器的组成结构。 (英语) Zbl 1329.68186号 学报信息。 52,No.4-5,443-482(2015). 审核人:Jörg Desel(哈根) MSC公司:68问题85 03B44号 60年第68季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{J.Klein}等人,Acta Inf.52,编号4-56443-482(2015;兹bl 1329.68186) 全文: 内政部
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 迭代布尔游戏。 (英语) Zbl 1318.91012号 Inf.计算。 242, 53-79 (2015).MSC公司:91A10号 03B44号 65年第68季度 65年第68季度 91A20型 91A35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息计算》。242、53--79(2015年;Zbl 1318.91012) 全文: 内政部
Christoph M.温特斯泰格。;尤塞夫·哈马迪;莱昂纳多·德·莫拉 有效求解量化位向量公式。 (英语) Zbl 1284.03212号 形式方法系统。设计。 42,第1期,3-23(2013).MSC公司:03B70号 60年第68季度 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Wintersteiger}等人,《形式方法系统》。设计。42,第1号,第3--23号(2013;Zbl 1284.03212) 全文: 内政部
马丁·齐默尔曼 参数LTL博弈中的最优边界。 (英语) Zbl 1296.03015号 西奥。计算。科学。 493, 30-45 (2013).MSC公司:03B44号 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \文本{M.Zimmermann},Theor。计算。科学。493,30--45(2013;Zbl 1296.03015) 全文: 内政部
沃伊切赫,詹罗加;沃伊切赫·彭泽克 多代理系统的规范和验证。 (英语) Zbl 1250.68190号 Nick Bezhanishvili等人,《逻辑和计算讲座》。ESSLLI 2010年丹麦哥本哈根,2010年8月,ESSLLI2011年,斯洛文尼亚卢布尔雅那,2011年8月。精选课堂讲稿。柏林:施普林格出版社(ISBN 978-3-642-31484-1/pbk)。计算机科学课堂讲稿7388,210-263(2012)。MSC公司:60年第68季度 03B45号 68T27型 68T42型 91A99型 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}和\textit{W.Penczek},莱克特。注释计算。科学。7388、210-263(2012年;Zbl 1250.68190) 全文: 内政部
吕迪格·埃勒斯 符号有界合成。 (英语) Zbl 1247.68163号 形式方法系统。设计。 40,第2期,232-262(2012).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers},形式方法系统。设计。40,第2号,232--262(2012;Zbl 1247.68163) 全文: 内政部
尼廷·亚达夫;塞巴斯蒂安·萨迪纳 定性近似行为构成。 (英语) Zbl 1361.68282号 Fariñas del Cerro,Luis(编辑)等人,《人工智能中的逻辑》。2012年9月26日至28日,法国图卢兹,第13届欧洲会议,JELIA 2012。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33352-1/pbk)。计算机科学课堂讲稿7519。《人工智能课堂讲稿》,450-462(2012)。MSC公司:68T42型 03B44号 60年第68季度 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{N.Yadav}和\textit{S.Sardina},莱克特。注释计算。科学。7519450-462(2012年;Zbl 1361.68282) 全文: 内政部 arXiv公司
罗德里克·布洛姆;芭芭拉·乔布斯曼;尼尔·皮特曼;阿米尔·普努利;亚尼夫·萨阿尔 反应(1)设计的合成。 (英语) Zbl 1247.68050号 J.计算。系统。科学。 78,第3期,911-938(2012).MSC公司:68号30 03B44号 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《计算杂志》。系统。科学。78,第3号,911--938(2012;Zbl 1247.68050) 全文: 内政部
李、穆;李波;怀、金鹏 web服务的可靠性感知自动组合方法。 (英语) 兹比尔1245.68030 科学。中国,信息科学。 55,第4期,921-937(2012).MSC公司:68米15 03B70号 68英里11 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Li}等人,科学。中国,信息科学。55,第4号,921--937(2012;Zbl 1245.68030) 全文: 内政部 链接
邓婷;怀、金鹏;沃,天宇 具有正确性保证的复合服务合成的复杂性。 (英语) Zbl 1245.68025号 科学。中国,信息科学。 55,第3期,638-649(2012).MSC公司:68英里11 68个M12 2017年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Deng}等人,科学。中国,信息科学。55,第3号,638--649(2012;Zbl 1245.68025) 全文: 内政部 链接
维克多·舒潘 关于LTL的不可满足和不可实现核心的概念。 (英语) Zbl 1242.68075号 科学。计算。程序。 77,编号7-8908-939(2012).MSC公司:68号30 68T20型 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{V.Schuppan},科学。计算。程序。77号7--8908--939(2012;Zbl 1242.68075) 全文: 内政部
芭芭拉·乔布斯曼;斯特凡·斯塔珀;安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆 发现并修复故障。 (英语) Zbl 1263.68112号 J.计算。系统。科学。 78,第2期,441-460(2012). 审核人:约翰·乔治·格兰斯特罗姆(苏黎世) MSC公司:60年第68季度 91A80型 03B70号 68号30 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Jobstmann}等人,J.计算。系统。科学。78,No.2,441--460(2012;Zbl 1263.68112) 全文: 内政部
艾曼纽·菲利奥特;Jin、Naiyong;让-弗朗索瓦·拉斯金 LTL合成的反链和合成算法。 (英语) Zbl 1258.03046号 形式方法系统。设计。 39,第3期,261-296(2011).MSC公司:05年3月 03B44号 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}等人,《形式方法系统》。设计。39,第3号,261--296(2011;Zbl 1258.03046) 全文: 内政部
迈克尔·本尼迪克特;拉斯蒂斯拉夫·伦哈特;詹姆斯·沃雷尔 模型检查和游戏中的双变量与线性时序逻辑。 (英语) Zbl 1343.68151号 Katoen,Joost-Pieter(编辑)等,CONCUR 2011–并发理论。2011年9月6日至9日,第22届国际会议,CONCUR 2011,德国亚琛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23216-9/pbk)。计算机科学讲义6901、497-511(2011)。MSC公司:60年第68季度 03B44号 05年3月 87年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Benedikt}等人,Lect。注释计算。科学。6901497--511(2011;Zbl 1343.68151) 全文: 内政部 arXiv公司
乌迪·博克;奥尔纳·库普弗曼 寻求将Büchi严格翻译为co-Bu chi automata。 (英语) Zbl 1287.68092号 安德烈亚斯·布拉斯(编辑)等人,《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-642-15024-1/pbk)。计算机科学课堂讲稿6300,147-164(2010)。MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{U.Boker}和\textit{O.Kupferman},莱克特。注释计算。科学。6300、147--164(2010年;Zbl 1287.68092) 全文: 内政部
劳伦特·多恩;吉勒·杰勒茨;Jean-Francois拉斯金;朱利安·莱切特 实时逻辑的可实现性。 (英语) Zbl 1262.68117号 Ouaknine,Joöl(编辑)等,时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04367-3/pbk)。计算机科学课堂讲稿5813,133-148(2009)。MSC公司:60年第68季度 03B44号 05年3月 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Doyen}等人,Lect。注释计算。科学。5813、133--148(2009年;Zbl 1262.68117) 全文: 内政部
奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 从活泼到敏捷。 (英语) Zbl 1192.68416号 形式方法系统。设计。 34,第2期,83-103(2009).MSC公司:65年第68季度 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《形式方法系统》。设计。34,第2号,83--103(2009;Zbl 1192.68416) 全文: 内政部
克莱尔·狄克逊;玛丽·卡门·费尔南德斯·加戈;迈克尔·费舍尔;范德霍克,威比 知识的时间逻辑及其在安全中的应用。 (英语) Zbl 1277.94051号 Dima,Cétélin(ed.)等人,《信息和计算机安全第一次研讨会论文集》(ICS 2006),罗马尼亚蒂米索拉,2006年9月30日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记186,27-42(2007)。MSC公司:94A62型 03B44号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}等人,《电子》。注释Theor。计算。科学。186,27-42(2007年;兹bl 1277.94051) 全文: 内政部
奥尔纳·库普弗曼;Shmuel萨夫拉;莫舍·瓦尔迪。 关联词和树自动机。 (英语) Zbl 1097.03034号 Ann.纯粹应用。逻辑 138,编号1-3126-146(2006). 审核人:Aleksej Dmitrievich Korshunov(新西伯利亚) MSC公司:05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《纯粹应用》。逻辑138,No.1--3,126--146(2006;Zbl 1097.03034) 全文: 内政部
迈克尔·伍尔德里奇;保罗·E·邓恩。 代理设计问题的复杂性:确定性和历史依赖性。 (英语) Zbl 1103.68104号 安。数学。Artif公司。因特尔。 45,第3-4号,343-371(2005).MSC公司:68T01型 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wooldridge}和\textit{P.E.Dunne},Ann.数学。Artif公司。智力。45,编号3--4,343--371(2005;Zbl 1103.68104) 全文: 内政部
鲍里斯·科涅夫;阿纳托利·德吉亚列夫;克莱尔·狄克逊;迈克尔·费舍尔;乌尔里希·赫斯塔特 机械化一阶时间分辨率。 (英语) Zbl 1086.03009号 Inf.计算。 199,第1-2号,55-86(2005).MSC公司:03B35型 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Konev}等人,Inf.Comput。199,编号1--2,55-86(2005;Zbl 1086.03009) 全文: 内政部
奥尔纳·库普弗曼;莫舍·瓦尔迪。;皮埃尔·沃尔珀 模块检查。 (英语) Zbl 1003.68071号 Inf.计算。 164,第2期,322-344(2001).MSC公司:60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,Inf.Comput。164,第2号,322--344(2001;Zbl 1003.68071) 全文: 内政部
不,菲利普 基于变换的时间规格综合。 (英语) Zbl 0841.68074号 正式Asp。计算。 7,第6期,587-619(1995).MSC公司:60年第68季度 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{P.Noöl},正式Asp。计算。7,第6号,587--619(1995;Zbl 0841.68074) 全文: 内政部
巴林格,H。;M·费希尔。;D.加巴伊。;戈夫(G.Gough)。;R.欧文斯。 MetateM:引言。 (英语) 兹伯利083868014 正式Asp。计算。 7,第5期,533-549(1995).MSC公司:68N17号 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{H.Barringer}等人,《正式Asp》。计算。7,第5号,533--549(1995;Zbl 0838.68014) 全文: 内政部
沃伊切赫·彭泽克 关于迹系统上命题时间逻辑的不可判定性。 (英语) Zbl 0771.03006号 信息处理。莱特。 43,第3期,147-153(1992). 审核人:F.V.Burstein(墨尔本) MSC公司:03B45号 第68季度10 03B25号 03天35分 03B80号 12升05 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek},Inf.过程。莱特。43,第3号,147--153(1992;Zbl 0771.03006) 全文: 内政部