安德鲁·约翰逊;托马斯·沃尔 延迟有界调度,无延迟! (英语) Zbl 1493.68113号 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 380-402 (2021).MSC公司:68号30 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Johnson}和\textit{T.Wahl},莱克特。注释计算。科学。12759、380——402(2021年;Zbl 1493.68113) 全文: 内政部 arXiv公司
普拉图什·阿加瓦尔;克里希南德·查特吉;Shreya Pathak;安德烈亚斯·帕夫罗甘尼斯;维克托·托曼 读-值-自等价下的无状态模型检查。 (英语) Zbl 1493.68200号 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 341-366 (2021).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Agarwal}等人,Lect。注释计算。科学。12759、341--366(2021年;Zbl 1493.68200) 全文: 内政部 arXiv公司
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);阿德瓦伊·戈博莱;克里希纳,S。;维克托·瓦菲亚迪斯 PS 2.0下验证的可判定性。 (英语) Zbl 1474.68187号 Yoshida,Nobuko(编辑),《编程语言与系统》。2021年3月27日至4月1日,作为欧洲软件理论与实践联合会议(ETAPS 2021)的一部分,在卢森堡卢森堡市举行了第30届欧洲编程研讨会(ESOP 2021)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12648, 1-29 (2021).MSC公司:60年第68季度 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。12648,1--29(2021;Zbl 1474.68187) 全文: 内政部
安德里亚诺夫,P.S。 分析操作系统组件的正确同步。 (英语) Zbl 1467.68032号 程序。计算。柔和。 46,编号8,712-730(2020).MSC公司:第68页第25页 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.S.Andrianov},程序。计算。柔和。46,编号8,712--730(2020;Zbl 1467.68032) 全文: 内政部
阿明·比尔;丹尼尔·科宁 基于SAT的模型检查。 (英语) Zbl 1392.68232号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。277-303 (2018).MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Biere}和\textit{D.Kröning},in:模型检查手册。查姆:斯普林格。277--303(2018;Zbl 1392.68232) 全文: 内政部
阿南德·约勒卡尔;库马尔·马杜卡尔;迪帕利·布塔达;R·文卡特斯。 使用时间戳进行排序。 (英语) Zbl 1485.68047号 Gopal,T.V.(编辑)等人,《计算模型的理论和应用》。2017年4月20日至22日在瑞士伯尔尼举行的2017年TAMC第14届年会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10185, 684-696 (2017).MSC公司:68甲19 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Yeolekar}等人,Lect。注释计算。科学。10185、684--696(2017;Zbl 1485.68047) 全文: 内政部
克里希南德·查特吉;伯恩哈德克拉格尔;萨马拉·米什拉;安德烈亚斯·帕夫罗甘尼斯 加权递归状态机的更快算法。 (英语) Zbl 1485.68057号 Yang,Hongseok(编辑),《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会(ESOP 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10201, 287-313 (2017).MSC公司:68号30 65年第68季度 70年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,Lect。注释计算。科学。10201、287--313(2017;Zbl 1485.68057) 全文: 内政部 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) 全文: 内政部
萨尔瓦多拉托雷;那不勒斯,玛格丽塔;Gennaro帕拉托 基于范围的下推语言。 (英语) Zbl 1344.68124号 发现的国际期刊。计算。科学。 27,第2期,215-233(2016).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.La Torre}等人,国际期刊发现。计算。科学。27,第2号,215--233(2016;Zbl 1344.68124) 全文: 内政部
赖俊佐;罗伯特·H·邓。;马,常熟;樱井,口一;翁,Jian CCA安全密钥全同态加密。 (英语) Zbl 1388.94067号 Cheng,Chen-Mou(编辑)等,公开密钥加密——PKC 2016。第19届IACR公钥密码学实践与理论国际会议,台湾台北,2016年3月6日至9日。诉讼程序。第一部分柏林:施普林格出版社(ISBN 978-3-662-49383-0/pbk;978-3-562-49384-7/ebook)。计算机科学讲座笔记9614,70-98(2016)。MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.Lai}等人,Lect。注释计算。科学。9614、70-98(2016年;Zbl 1388.94067) 全文: 内政部 链接
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);奥思曼·雷津;贾里·斯坦曼 基于预算的模型检查下推系统。 (英语) 兹伯利1317.68106 形式方法系统。设计。 45,第2期,273-301(2014).MSC公司:60年第68季度 68问题85 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,《表格方法系统》。设计。45,第2号,273--301(2014;Zbl 1317.68106) 全文: 内政部
阿拉斯泰尔·唐纳森。;丹尼尔·克罗宁;菲利普·吕默 使用模型检查和(k)-归纳法自动分析DMA竞争。 (英语) Zbl 1233.68124号 形式方法系统。设计。 39,第1期,第83-113页(2011年).MSC公司:68号30 60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Donaldson}等人,《形式方法系统》。设计。39,第1号,第83-113条(2011;Zbl 1233.68124) 全文: 内政部