马内尔·巴卡拉;杰奎特,让-玛丽 关于巴赫作品中保护列表的引入:表达性、正确性和效率问题。 (英语) Zbl 07820785号 Aubert,Clément(ed.)等人,《第16届交互和并发体验研讨会论文集》,ICE 2023,葡萄牙里斯本,2023年6月19日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)38355-72(2023年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Barkallah}和\textit{J.-M.Jacquet},电子。程序。西奥。计算。科学。(EPTCS)383,55-72(2023年;Zbl 07820785) 全文: 内政部 arXiv公司
托拜厄斯·隆格;塔比亚·博迪斯;亚历克斯·波坦;托马斯·图姆;伊娜·谢弗 灵活的正确施工规划。 (英语) Zbl 07731927号 日志。方法计算。科学。 19,第2号,第16号论文,36页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Runge}等人,日志。方法计算。科学。19,第2号,第16号论文,36页(2023;Zbl 07731927) 全文: 内政部 arXiv公司
盛、欢欢;亚历山大·本特坎普;詹伯华 HHLPy公司:使用霍尔逻辑对混合系统进行实际验证。 (英语) Zbl 07728842号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 160-178 (2023).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{H.Sheng}等人,Lect。注释计算。科学。14000、160--178(2023;Zbl 07728842) 全文: 内政部 arXiv公司
劳拉·科瓦奇;安东·瓦伦卡 循环还有什么是不可判定的? (英语) Zbl 07728639号 Glück,Roland(编辑)等人,《计算机科学中的关系和代数方法》。第20届国际会议,RAMiCS 2023,德国奥格斯堡,2023年4月3-6日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13896, 176-193 (2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Kovács}和\textit{A.Varonka},莱克特。注释计算。科学。13896、176--193(2023;Zbl 07728639) 全文: 内政部
冯仁彦;王一松;钱、任;杨磊;陈攀峰 命题演算中的知识遗忘。 (英语) Zbl 07644141号 安。数学。Artif公司。智力。 91,编号1,1-43(2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{R.Feng}等人,《数学年鉴》。Artif公司。智力。91,编号1,1-43(2023;Zbl 07644141) 全文: 内政部
史蒂夫·邓恩;费雷拉,乔昂·F·。;亚历山大·门德斯;坎贝尔·里奇;比尔·斯托达特;泽达,弗兰克 BGSL:回溯程序规范和细化的命令式语言。 (英语) Zbl 07618118号 J.日志。阿尔盖布。方法计划。 130,文章ID 100811,14 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Dunne}等人,J.Log。阿尔盖布。方法计划。130,文章ID 100811,14 p.(2023;Zbl 07618118) 全文: 内政部
兰吉特·贾拉 嵌入式领域特定验证器。 (英语) 兹比尔1528.68227 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 535-553 (2022).MSC公司:60年第68季度 68甲18 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Jhala},莱克特。注释计算。科学。13660、535--553(2022年;Zbl 1528.68227) 全文: 内政部
U.E.沃尔特。;A.R.马提尼。;Häusler,E.H。 部分和全部正确性断言的索引结构和纤维结构。 (英语) Zbl 1512.68060号 数学。结构。计算。科学。 32,第9期,1145-1175(2022).MSC公司:68号30 03B70号 03G30型 18天30分 PDF格式BibTeX公司 XML格式引用 \textit{U.E.Wolter}等人,数学。结构。计算。科学。32,编号9,1145-1175(2022;兹bl 1512.68060) 全文: 内政部
亚历杭德罗·阿吉雷;胜本、新雅;佐藤库拉 谎言中最薄弱的先决条件。 (英语) Zbl 1506.68053号 数学。结构。计算。科学。 32,第4期,472-510(2022年).MSC公司:60年第68季度 03B70号 03G30型 18立方厘米 18号45 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Aguirre}等人,《数学》。结构。计算。科学。32,编号4,472--510(2022;Zbl 1506.68053) 全文: 内政部
大卫·J·皮尔斯。;马克·乌廷;林赛·格罗夫斯 使用Boogie验证Whiley程序。 (英语) Zbl 1512.68059号 J.自动化。推理 66,第4期,747-803(2022).MSC公司:68号30 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Pearce}等人,J.Autom。推理66,No.4,747--803(2022;Zbl 1512.68059) 全文: 内政部
陈明帅;Joost-Pieter卡托恩;卢茨·克林肯伯格;托比亚斯·温克勒 程序是否产生正确的分布?通过生成函数验证概率程序。 (英语) Zbl 1514.68028号 Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。13371, 79-101 (2022).MSC公司:第68页第19页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Chen}等人,Lect。注释计算。科学。13371,79-101(2022;Zbl 1514.68028) 全文: 内政部 arXiv公司
雅敏阿伊特阿默尔;纪尧姆·杜邦;伊斯梅尔·门迪尔;多米尼克·梅里;马克·潘特尔;Rivière,彼得;Neeraj K·辛格。 使用外部理论授权Event-B方法。 (英语) Zbl 1502.68176号 ter Beek,Maurice H.(编辑)等,《综合形式方法》。2022年6月7日至10日,第17届国际会议,IFM 2022,瑞士卢加诺。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13274, 18-35 (2022).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Aít-Ameur}等人,Lect。注释计算。科学。13274,18-35(2022;Zbl 1502.68176) 全文: 内政部
普洛塔萨,维奥雷尔;尤利亚德拉戈米尔;斯塔夫罗斯·特里帕基斯 反应系统的精化演算。 (英语) Zbl 1487.68160号 Inf.计算。 285,B部分,文章ID 104819,43 p.(2022).MSC公司:60年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Preoteasa}等人,《信息计算》。285,B部分,文章ID 104819,43 p.(2022;Zbl 1487.68160) 全文: 内政部 arXiv公司
柯斯汀·彼得斯;乌韦·内斯特曼;安娜·施密特 关于可分配性。 (英语) Zbl 1483.68236号 西奥。计算。科学。 913, 151-173 (2022).MSC公司:68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Peters}等人,Theor。计算。科学。913151--173(2022年;Zbl 1483.68236) 全文: 内政部
米罗斯拉夫斯坦科维奇;埃齐奥·巴托西;劳拉·科瓦奇 贝叶斯网络特性的基于矩的分析。 (英语) Zbl 07467471号 西奥。计算。科学。 903, 113-133 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Stankovič}等人,Theor。计算。科学。903113--133(2022年;Zbl 07467471) 全文: 内政部
叶康峰;西蒙·福斯特;伍德科克,吉姆 带有定理证明的概率序列程序的自动推理。 (英语) Zbl 07670535号 Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。第19届国际会议,RAMiCS 2021,法国马赛,2021年11月2-5日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13027, 465-482 (2021).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{K.Ye}等人,Lect。注释计算。科学。13027465--482(2021;Zbl 07670535) 全文: 内政部
弗莱明·尼尔森;汉森、雷内·里多夫;汉内·里斯·尼尔森 安全域的良性交互。 (英语) Zbl 1498.68055号 Daniel Dougherty(编辑)等人,《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13066, 312-331 (2021).MSC公司:68平方米25 PDF格式BibTeX公司 XML格式引用 \textit{F.Nielson}等人,Lect。注释计算。科学。13066、312--331(2021;Zbl 1498.68055) 全文: 内政部
西蒙·福斯特;雅库布·内穆奇;马里奥·格雷舍尔;魏然;蒂姆·凯利 与Isabelle/SACM将正式证据整合到统一的保证案例中。 (英语) Zbl 1522.68717号 正式Asp。计算。 33,第6号,855-884(2021).MSC公司:68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人,正式Asp。计算。33,编号6,855--884(2021;Zbl 1522.68717) 全文: 内政部 arXiv公司
西蒙·福斯特;叶康峰;安娜·卡瓦尔坎蒂;吉姆·伍德科克 通过计算自动验证反应式程序和并发程序。 (英语) Zbl 1518.68206号 J.日志。阿尔盖布。方法计划。 121,文章ID 100681,34 p.(2021).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人,J.Log。阿尔盖布。方法计划。121,文章ID 100681,34 p.(2021;Zbl 1518.68206) 全文: 内政部 arXiv公司
罗宾·赫希;蒂姆·斯托克斯 具有域和恶魔组成的签名公理。 (英语) Zbl 1476.03086号 代数大学。 82,第2号,第24号论文,第19页(2021年). 审核人:格里戈里·日托米尔斯基(赫兹利娅) MSC公司:03G15年 05年6月 08A02号 20平方米 PDF格式BibTeX公司 XML格式引用 \textit{R.Hirsch}和\textit{T.Stokes},代数大学。82,第2号,第24号文件,第19页(2021年;Zbl 1476.03086) 全文: 内政部
皮埃尔·布赫斯;洛依茨海露;佐尔坦·米克洛斯;Rituraj Singh 众包以数据为中心的工作流。 (英语) Zbl 1503.68189号 Janicki,Ryszard(编辑)等人,Petri网和并发的应用和理论。第41届国际会议,PETRI NETS 2020,法国巴黎,2020年6月24日至25日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12152, 24-45 (2020).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bourhis}等人,Lect。注释计算。科学。12152,24-45(2020;Zbl 1503.68189) 全文: 内政部
西蒙·福斯特;詹姆斯·巴克斯特 使用透镜对集合和局部变量进行自动代数推理。 (英语) Zbl 07578337号 Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12062, 100-116 (2020).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}和\textit{J.Baxter},莱克特。注释计算。科学。12062,100-116(2020;Zbl 07578337) 全文: 内政部 链接
亚历杭德罗·阿吉雷;胜本,Shin-ya 谎言中最薄弱的先决条件。 (英语) Zbl 07516369号 Patricia Johann(编辑),《第36届编程语义数学基础会议论文集》,MFPS XXXVI,虚拟会议,2020年6月2-6日。阿姆斯特丹:爱思唯尔。电子。理论注释。计算。科学。352, 5-27 (2020).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Aguirre}和\textit{S.-y.Katsumata},电子。理论注释。计算。科学。352,5--27(2020;Zbl 07516369) 全文: 内政部
弗莱明·尼尔森;尼尔森、汉内·里斯 安全保护的命令。 (英语) Zbl 1440.68036号 Di Pierro,Alessandra(编辑)等人,《通过程序分析从lambda演算到网络安全》。在克里斯·汉金退休之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。12065, 201-215 (2020).MSC公司:68平方米25 68第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{F.尼尔森}和\textit{H.R.尼尔森,莱克特。注释计算。科学。12065201-215(2020年;兹比尔1440.68036) 全文: 内政部
西蒙·福斯特;安娜·卡瓦尔坎蒂;塞缪尔·卡纳姆;吉姆·伍德科克;泽达,弗兰克 统一反应设计合同理论。 (英语) 兹比尔1436.68195 西奥。计算。科学。 802,105-140(2020).MSC公司:60年第68季度 68问题55 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人,Theor。计算。科学。802105-140(2020年;Zbl 1436.68195) 全文: 内政部 arXiv公司 链接
Krzysztof R.阿普特。;奥尔德罗格(Ernst-Rüdiger Olderog) 霍尔逻辑的五十年。 (英语) Zbl 1427.68008号 正式Asp。计算。 31,第6号,751-807(2019).MSC公司:68-03 03B70号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}和\textit{E.-R.Olderog},正式Asp。计算。31,第6号,751--807(2019;Zbl 1427.68008) 全文: 内政部 arXiv公司 链接
G.伯诺。;J.-P.科姆特。;哈里斯,Z。;A.理查德。;O.罗克斯。 经过基因改造的霍尔逻辑。 (英语) 兹比尔1423.68163 西奥。计算。科学。 765, 145-157 (2019).MSC公司:2005年第68季度 03B70号 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Bernot}等人,Theor。计算。科学。765145-157(2019年;Zbl 1423.68163) 全文: 内政部 arXiv公司
西尔万·博尔梅;亚历山大·马雷查尔 证明抽象解释的精炼:多面体线性化说明。 (英语) Zbl 1465.68047号 J.自动化。推理 62,第4期,505-530(2019).MSC公司:68号30 52B55号 68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Boulmé}和\textit{A.Maréchal},J.奥托姆。推理62,No.4,505--530(2019;Zbl 1465.68047) 全文: 内政部 哈尔
马塞尔·杰克逊;米库拉斯(Mikulás,Szabolcs) 天使和恶魔作品的领域和范围。 (英语) Zbl 1417.68033号 J.日志。阿尔盖布。方法计划。 103, 62-78 (2019).MSC公司:68号30 08A70号 20个M10 PDF格式BibTeX公司 XML格式引用 \textit{M.Jackson}和\textit{S.MikuláS},J.Log。阿尔盖布。方法计划。103、62-78(2019年;Zbl 1417.68033) 全文: 内政部 arXiv公司 链接
佩德罗·里贝罗;安娜·卡瓦尔坎蒂 通过UTP为CSP提供天使流程。 (英语) 兹比尔1410.68236 西奥。计算。科学。 756, 19-63 (2019).MSC公司:60年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Ribeiro}和\textit{A.Cavalcanti},Theor。计算。科学。756、19-63(2019年;Zbl 1410.68236) 全文: 内政部 链接
罗伯特·J·科尔文。;格雷姆·史密斯 一种用于验证弱记忆模型上程序的广谱语言。 (英语) Zbl 1460.68026号 Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10951, 240-257 (2018).MSC公司:68号30 68问题55 60年第68季度 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Colvin}和\textit{G.Smith},Lect。注释计算。科学。10951,240-257(2018;Zbl 1460.68026) 全文: 内政部 arXiv公司
J·朱利安德。;O.库什纳伦科。;马森,P.A。;沃伊隆,G。 从事件系统抽象生成测试,以覆盖其状态和转换。 (英语。俄文原件) Zbl 1455.68104号 程序。计算。柔和。 44,第1期,1-14(2018); 译自Programmirovanie 44,No.1,3-20(2018)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Julliand}等人,《计划》。计算。柔和。44,第1号,1-14(2018;Zbl 1455.68104);译自Programmirovanie 44,No.1,3--20(2018) 全文: 内政部
拉尔夫·荣格;罗伯特·克雷伯斯;雅克·亨利·乔尔丹;阿列舍·比兹亚克;Lars Birkedal公司;德雷克·德雷尔 从头开始的Iris:高阶并发分离逻辑的模块化基础。 (英语) Zbl 1476.68062号 J.功能。程序。 28,论文编号e20,73 p.(2018).MSC公司:68号30 03B70号 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Jung}等人,J.Funct。程序。28,论文编号e20,73 p.(2018;Zbl 1476.68062) 全文: 内政部
帕特丽斯·戈德弗里德;塞·库什克 模型检查和测试相结合。 (英语) Zbl 1392.68250号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。613-649 (2018).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Godefroid}和\textit{K.Sen},in:模型检查手册。查姆:斯普林格。613--649(2018;Zbl 1392.68250) 全文: 内政部
迪米特拉·吉安娜科波卢;Kedar S.Namjoshi。;科琳娜·s·佩斯勒诺。 组合推理。 (英语) Zbl 1392.68249号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。345-383 (2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Giannakopoulou}等人,在:模型检查手册中。查姆:斯普林格。345--383(2018年;Zbl 1392.68249) 全文: 内政部
弗拉基米尔·克莱巴诺夫;菲利普·吕默;马蒂亚斯·乌尔布里奇 通过谓词抽象实现指针程序的自动回归验证。 (英语) Zbl 1392.68146号 形式方法系统。设计。 52,第3期,229-259(2018).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Klebanov}等人,《形式方法系统》。设计。52,第3号,229--259(2018;Zbl 1392.68146) 全文: 内政部 链接
乔纳斯·韦斯特曼;马蒂亚斯·尼贝格 异构系统中分离责任的合同条件。 (英语) Zbl 1390.68442号 形式方法系统。设计。 52,第2期,147-192(2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Westman}和\textit{M.Nyberg},《形式方法系统》。设计。52,第2号,147--192(2018;Zbl 1390.68442) 全文: 内政部
伊莎贝拉·马斯特罗埃尼;达米亚诺·扎纳尔迪尼 抽象程序切片:一种基于抽象解释的程序切片方法。 (英语) Zbl 1367.68070号 ACM事务处理。计算。日志。 18,第1号,第7条,58 p.(2017).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.Mastroeni}和\textit{D.Zanardini},ACM Trans。计算。日志。18,第1号,第7条,58页(2017年;Zbl 1367.68070) 全文: 内政部 arXiv公司
乔达里,Dipak L。;Om达马尼 通过注释程序进行假设传播。 (英语) Zbl 1362.68043号 正式Asp。计算。 29,第3期,495-530(2017).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.L.Chaudhari}和\textit{O.Damani},正式Asp。计算。29,编号3,495-530(2017;兹bl 1362.68043) 全文: 内政部
罗伯特·克雷伯斯;拉尔夫·荣格;阿列舍·比兹亚克;雅克·亨利·乔尔丹;德雷克·德雷尔;Lars Birkedal公司 高阶并发分离逻辑的本质。 (英语) Zbl 1485.68069号 Yang,Hongseok(编辑),《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会(ESOP 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10201, 696-723 (2017).MSC公司:68号30 03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Krebbers}等人,Lect。注释计算。科学。10201、696--723(2017;Zbl 1485.68069) 全文: 内政部 哈尔
埃夫拉德,雨果;弗雷德里克·朗 从异步进程的形式化模型自动生成分布式代码,这些进程通过多路汇聚进行交互。 (英语) Zbl 1362.68038号 J.日志。阿尔盖布。方法计划。 88, 121-153 (2017).MSC公司:68N20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Evrard}和\textit{F.Lang},J.Log。阿尔盖布。方法计划。88、121--153(2017年;Zbl 1362.68038) 全文: 内政部 哈尔
Krzysztof R.阿普特。;大卫·格罗西;范德霍克,威比 分布式闲聊的认知协议。 (英语) Zbl 1483.68361号 Ramanujam,R.(编辑),《第十五届理性与知识理论方面会议论文集》,TARK 2015,卡内基梅隆大学,美国匹兹堡,2015年6月4-6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)21551-66(2016)。MSC公司:68T27型 03B42型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}等人,《电子》。程序。西奥。计算。科学。(EPTCS)215,51--66(2016;Zbl 1483.68361) 全文: arXiv公司 链接
Mandrykin,M.U。;Khoroshilov,A.V.公司。 C程序演绎验证的区域分析。 (英语。俄文原件) Zbl 1452.68051号 程序。计算。柔和。 42,编号5257-278(2016); 译自Programmirovanie 42,No.5,3-29(2016)。MSC公司:68号30 68甲15 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.U.Mandrykin}和\textit{A.V.Khoroshilov},程序。计算。柔和。42,第5号,257--278(2016;Zbl 1452.68051);译自Programmirovanie 42,No.5,3--29(2016) 全文: 内政部
王,Timothy;罗曼·乔布雷多;马克·潘特尔;皮埃尔·洛伊·卡洛什;埃里克·费龙;迪迪埃·亨利昂 可信的凸优化算法自动编码。 (英语) Zbl 1364.90247号 最佳方案。工程师。 17,第4期,781-812(2016).MSC公司:90C22型 90摄氏51度 68号30 90立方厘米25 PDF格式BibTeX公司 XML格式引用 \textit{T.Wang}等人,Optim。工程17,编号4,781--812(2016;Zbl 1364.90247) 全文: 内政部 arXiv公司
康斯坦蒂诺斯·马穆拉斯 使用天使和恶魔不确定性的霍尔逻辑综合策略。 (英语) 兹比尔1445.03037 日志。方法计算。科学。 12,第3号,第6号论文,41页(2016年).MSC公司:03B70号 60年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Mamouras},日志。方法计算。科学。12,第3号,第6号论文,41页(2016;Zbl 1445.03037) 全文: 内政部 arXiv公司
奥利·萨里基维;凯乔·赫尔扬科 LCTD:LLVM上C程序的测试指导证明。 (英语) Zbl 1392.68149号 J.日志。阿尔盖布。方法计划。 85,第6期,1292-1317(2016).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Saarikivi}和\textit{K.Heljanko},J.Log。阿尔盖布。方法计划。85,第6号,1292--1317(2016;Zbl 1392.68149) 全文: 内政部
西里尔·杰古尔;Legay、Axel;肖恩·塞德瓦兹 用于统计模型检查的基于命令的重要性抽样。 (英语) Zbl 1377.68133号 西奥。计算。科学。 649, 1-24 (2016).MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Jegorel}等人,Theor。计算。科学。649,1--24(2016;Zbl 1377.68133) 全文: 内政部
贾森·雅斯科尔卡;里达·凯德里 基于对通信潜力的分析,缓解秘密渠道。 (英语) Zbl 1348.68164号 西奥。计算。科学。 643, 1-37 (2016).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Jaskolka}和\textit{R.Khedri},Theor。计算。科学。643,1-37(2016年;兹bl 1348.68164) 全文: 内政部
你好,托尼;范·斯塔登(Stephan van Staden);伯恩哈德·莫勒;乔治·斯特鲁斯;朱慧彪 并发Kleene代数的发展。 (英语) Zbl 1344.68149号 J.日志。阿尔盖布。方法计划。 85,第4期,617-636(2016).MSC公司:70年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}等人,J.Log。阿尔盖布。方法计划。85,第4号,617--636(2016;Zbl 1344.68149) 全文: 内政部
乔达里,Dipak L。;Om达马尼 在程序派生中结合了自顶向下和自底向上技术。 (英语) Zbl 1362.68042号 Falaschi,Moreno(编辑),基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-27435-5/pbk;978-3-3169-27436-2/电子书)。计算机科学讲义9527,244-258(2015)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.L.Chaudhari}和\textit{O.Damani},莱克特。注释计算。科学。9527244--258(2015;Zbl 1362.68042) 全文: 内政部
休伯特·加拉维 重温过程计算中的序列构成。 (英语) Zbl 1330.68201号 J.日志。阿尔盖布。方法计划。 84,第6期,742-762(2015).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel},J.Log。阿尔盖布。方法计划。84,第6号,742--762(2015;Zbl 1330.68201) 全文: 内政部
Jochen Hoenicke公司;安德烈亚斯·波德尔斯基 无限控制的公平性。 (英语) Zbl 1444.68018号 Meyer,Roland(编辑)等人,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9360, 33-43 (2015).MSC公司:68米14 68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoenicke}和\textit{A.Podelski},Lect。注释计算。科学。9360,33-43(2015;Zbl 1444.68018) 全文: 内政部
鲁道夫·伯哈默;沃尔特·古特曼 多重关系和谓词变换的关系代数方法。 (英语) 兹比尔1432.68069 Hinze,Ralf(编辑)等人,《程序构造的数学》。2015年6月29日至7月1日,第12届国际会议,MPC 2015,德国科尼格斯温特。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9129, 50-70 (2015).MSC公司:68号30 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}和\textit{W.Guttmann},莱克特。注释计算。科学。9129,50-70(2015;Zbl 1432.68069) 全文: 内政部
克里斯托夫·斯科利尔斯;埃里克·坦特;沃尔夫冈·德梅特 并行参与者监控器:从参与者模型中的数据分区中分离任务级并行。 (英语) Zbl 1410.68071号 科学。计算。程序。 80,A部分,52-64(2014).MSC公司:68平方米 68甲15 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{C.Scholliers}等人,科学。计算。程序。80,A部分,52--64(2014;Zbl 1410.68071) 全文: 内政部
西尔维·博尔多;弗朗索瓦·克莱门特;Jean-Christophe Filliátre;米凯拉·马耶罗;纪尧姆·梅尔金德;皮埃尔·韦斯 可信计算:从偏微分方程到实际程序的机械化证明。 (英语) Zbl 1369.35051号 计算。数学。申请。 68,第3期,325-352(2014).MSC公司:35问题35 2006年6月65日 60年第68季度 65G20个 第68页第15页 65个M12 PDF格式BibTeX公司 XML格式引用 \textit{S.Boldo}等人,计算。数学。申请。68,第3号,325--352(2014;Zbl 1369.35051) 全文: 内政部 arXiv公司
Jean-Pierre塔宾;延斯·布兰特;Mike Gemünde;克劳斯·施耐德;桑迪普·舒克拉 构造性多时系统。 (英语) Zbl 1437.68109号 Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。7734, 335-349 (2013).MSC公司:68问题55 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Talpin}等人,Lect。注释计算。科学。7734、335--349(2013年;Zbl 1437.68109) 全文: 内政部 链接
让·雷蒙德·阿布里亚尔 计算的集合理论模型。 (英语) Zbl 1390.68297号 Liu,Zhiming(编辑)等人,《编程理论与形式化方法》。纪念何继峰70岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。计算机科学课堂讲稿8051,1-22(2013)。MSC公司:2005年第68季度 03E75型 68号30 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-R.Abrial},莱克特。注释计算。科学。8051,1-22(2013;Zbl 1390.68297) 全文: 内政部
C.E.马丁。;南卡罗来纳州柯蒂斯。 多重关系代数。 (英语) 兹比尔1352.18001 数学。结构。计算。科学。 23,第3期,635-674(2013). 审核人:Mark S.Burgin(洛杉矶) MSC公司:18B10型 03B70号 18二氧化碳 18日99 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Martin}和\textit{S.A.Curtis},数学。结构。计算。科学。23,第3号,635--674(2013;Zbl 1352.18001) 全文: 内政部
安托万·米内 利用反向多面体欠逼近推导出充分条件。 (英语) Zbl 1294.68062号 Midtgaard,Jan(编辑)等人,第四届数字和符号抽象域国际研讨会论文集,NSAD 2012,法国多维尔,2012年9月10日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记287,89-100(2012)。MSC公司:68号30 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Miné},电子。理论注释。计算。科学。287、89--100(2012年;Zbl 1294.68062) 全文: 内政部
斯利瓦斯塔瓦(Siddharth Srivastava);尼尔·伊梅尔曼;什洛莫·齐尔伯斯坦 循环计划的适用条件:可计算性结果和算法。 (英语) Zbl 1270.68277号 Artif公司。智力。 191-192, 1-19 (2012).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Srivastava}等人,Artif。智力。191-192,1-19(2012;Zbl 1270.68277) 全文: 内政部 链接
蒂姆·斯托克斯 偏序集和预映象拟序上的半群作用。 (英语) Zbl 1283.06009号 半群论坛 85,第3期,540-558(2012).MSC公司:2011年1月6日 20平方米 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{T.Stokes},半群论坛85,第3期,540-558(2012;Zbl 1283.06009) 全文: 内政部
奥利·尼基福钦;杜珊·列波夫什 \(L)-模糊最强后条件谓词变换作为单调谓词半模之间的(L)幂等线性或仿射算子。 (英语) Zbl 1252.68194号 模糊集系统。 208, 67-78 (2012).MSC公司:60年第68季度 03B70号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{O.Nykyforchyn}和\textit{D.Repovš},模糊集系统。208,67-78(2012年;兹比尔1252.68194) 全文: 内政部 arXiv公司
Dongol,布里耶什;伊恩·海耶斯。 从多尺度系统规范中导出实时动作系统控制器。 (英语) 兹比尔1358.68069 Jeremy Gibbons等人,《程序构造的数学》。2012年6月25日至27日在西班牙马德里举行的2012年MPC第11届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31112-3/pbk)。计算机科学课堂讲稿7342102-131(2012)。MSC公司:68号30 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}和\textit{I.J.Hayes},莱克特。注释计算。科学。7342、102--131(2012年;Zbl 1358.68069) 全文: 内政部
阿尔瓦罗宫泽;安娜·卡瓦尔坎蒂 状态流图的优化模型。 (英语) Zbl 1243.68152号 科学。计算。程序。 77,第10-11号,1151-1177(2012).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Miyazawa}和\textit{A.Cavalcanti},科学。计算。程序。77,No.10--111151--1177(2012;Zbl 1243.68152) 全文: 内政部
奥尔法·姆拉伊;加尔达洛,Wided;阿斯玛·卢希奇;拉米亚·拉比德·吉拉尼;哈立德·比塞斯;阿里·米莉 计算while循环的前置条件和后置条件。 (英语) Zbl 1350.68062号 Cerone,Antonio(编辑)等人,《计算的理论方面——ICTAC 2011》。第八届国际学术讨论会,南非约翰内斯堡,2011年8月31日至9月2日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23282-4/pbk)。计算机科学课堂讲稿6916,173-193(2011)。MSC公司:68号30 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Mraihi}等人,Lect。注释计算。科学。6916、173--193(2011;Zbl 1350.68062) 全文: 内政部
伊莎贝拉·马斯特罗尼;安妮迪亚·班纳吉 使用抽象域完整性对解密策略进行建模。 (英语) Zbl 1252.68079号 数学。结构。计算。科学。 21,第6期,1253-1299(2011).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{I.Mastroeni}和\textit{A.Banerjee},数学。结构。计算。科学。21,第6号,1253--1299(2011;Zbl 1252.68079) 全文: 内政部
托马斯·亨辛格;芭芭拉·乔布斯曼;维雷娜·沃尔夫 指定马尔科夫人口模型的形式化。 (英语) Zbl 1216.68190号 发现的国际期刊。计算。科学。 22,第4期,823-841(2011).MSC公司:68问题85 60年28日 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Henzinger}等人,国际期刊发现。计算。科学。22,第4号,823--841(2011;Zbl 1216.68190) 全文: 内政部
布埃,皮埃尔·克里斯托夫;雅克·朱利安德;皮埃尔·阿兰·马森 从模型生成测试的欠近似技术的关联。 (英语) Zbl 1335.68046号 Gogolla,Martin(编辑)等人,《测试与证明》。2011年6月30日至7月1日在瑞士苏黎世举行的2011年第五届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21767-8/pbk)。计算机科学课堂讲稿670651-68(2011)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.-C.Bué}等人,Lect。注释计算。科学。6706、51-68(2011年;Zbl 1335.68046) 全文: 内政部 哈尔
萨宾娜·阿赫塔;斯蒂芬·默兹;马丁·昆森 用于建模算法及其属性的高级语言。 (英语) 兹比尔1325.68040 Davies,Jim(编辑)等人,《形式方法:基础和应用》。2010年11月8日至11日在巴西纳塔尔举行的第13届巴西正式方法研讨会,SBMF 2010。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-19828-1/pbk)。计算机科学课堂讲稿6527,49-63(2011)。MSC公司:68甲15 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{S.Akhtar}等人,Lect。注释计算。科学。6527,49-63(2011;Zbl 1325.68040) 全文: 内政部 链接
苏珊塔·卡马卡;阿罗宾达·古普塔 动态拓扑交换的自适应分布式互斥。 (英语) Zbl 1216.68050号 发现的国际期刊。计算。科学。 22,第3期,713-737(2011).MSC公司:68米14 68个M12 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{S.Karmakar}和\textit{A.Gupta},国际期刊发现。计算。科学。22,第3号,713--737(2011;Zbl 1216.68050) 全文: 内政部
伊莎贝拉·马斯特罗埃尼;罗伯托·贾科巴齐 基于抽象解释的安全语义模型。 (英语) 兹比尔1215.68125 国际期刊计算。数学。 88,第4期,665-694(2011).MSC公司:68问题55 60年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Mastroeni}和\textit{R.Giacobazzi},国际计算机杂志。数学。88,第4号,665--694(2011;Zbl 1215.68125) 全文: 内政部
罗兰·巴克豪斯;费雷拉,乔昂·F·。 关于欧几里德算法和初等数论。 (英语) Zbl 1246.11187号 科学。计算。程序。 76,第3期,160-180(2011).MSC公司:2016年11月 11A05号 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse}和\textit{J.F.Ferreira},科学。计算。程序。76,第3号,160--180(2011;Zbl 1246.11187) 全文: 内政部 arXiv公司
帕特里克·库索特;拉迪亚·库索特;弗朗西斯科·洛戈佐 从间歇断言和应用于集合契约的前提推理。 (英语) Zbl 1317.68030号 Jhala,Ranjit(编辑)等人,《验证、模型检查和抽象解释》。2011年1月23日至25日,第12届国际会议,VMCAI 2011,美国德克萨斯州奥斯汀。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-18274-7/pbk)。计算机科学课堂讲稿6538,150-168(2011)。MSC公司:68号30 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}等人,Lect。注释计算。科学。6538,150--168(2011;Zbl 1317.68030) 全文: 内政部 链接
彼得·施密特(Peter H.Schmitt)。;马蒂亚斯·乌尔布里奇;本杰明·韦伊 Java动态逻辑中的动态帧。 (英语) Zbl 1308.68046号 Beckert,Bernhard(编辑)等人,面向对象软件的形式验证。2010年6月28日至30日,法国巴黎,FoVeOOS 2010国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-18069-9/pbk)。计算机科学课堂讲稿6528,138-152(2011)。MSC公司:68号30 03B70号 第68页第19页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.H.Schmitt}等人,Lect。注释计算。科学。6528,138--152(2011;Zbl 1308.68046) 全文: 内政部
科尔钦,A.V。 一种动态构造形式模型状态抽象的自动方法。 (英语。俄文原件) Zbl 1288.68166号 赛博。系统。分析。 46,第4期,583-601(2010); 翻译自Kibern。修女。分析。2010年,第4期,70-90(2010)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.V.Kolchin},Cybern。系统。分析。46,No.4,583--601(2010;Zbl 1288.68166);翻译自Kibern。修女。分析。2010年第4期,70--90(2010) 全文: 内政部
苏珊塔·卡马卡;阿罗宾达·古普塔 通过容错生成树切换实现自适应广播。 (英语) Zbl 1233.68103号 J.平行分布计算。 70,第9号,889-906(2010).MSC公司:68米15 68米14 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{S.Karmakar}和\textit{A.Gupta},J.并行分布计算。70,第9号,889--906(2010;Zbl 1233.68103) 全文: 内政部
王英旭 关于语义计算的形式语义和认知语义。 (英语) Zbl 1214.68167号 国际期刊Semant。计算。 4,第2期,203-237(2010).MSC公司:2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang},国际J.Semant。计算。4,编号2203-237(2010年;兹bl 1214.68167) 全文: 内政部
Bohórquez V,Jaime A。 程序正确性的基本统一方法。 (英语) Zbl 1211.68079号 正式Asp。计算。 22,第5期,611-627(2010).MSC公司:68号30 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bohórquez V},正式Asp。计算。22,第5号,611--627(2010;Zbl 1211.68079) 全文: 内政部
维姆·赫塞林克。 命令式编程中对偶不确定性的交替状态。 (英语) Zbl 1208.68107号 西奥。计算。科学。 411,编号22-24,2317-2330(2010).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},Theor(西奥·H·赫塞林克)。计算。科学。411,No.22--24,2317--2330(2010;Zbl 1208.68107) 全文: 内政部 链接
丹尼尔·克罗宁;格奥尔格·魏森巴赫 使用谓词抽象对带有循环的程序进行验证和证伪。 (英语) Zbl 1215.68130号 正式Asp。计算。 22,第2期,105-128(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}和\textit{G.Weissenbacher},正式Asp。计算。22,第2号,第105-128条(2010;Zbl 1215.68130) 全文: 内政部 哈尔
奥尔德罗格(Ernst-Rüdiger Olderog);安德烈亚斯·波德尔斯基 动态控制的显式公平调度。 (英语) Zbl 1274.68035号 Dennis Dams(编辑)等人,《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林:施普林格出版社(ISBN 978-3-642-11511-0/pbk)。计算机科学课堂讲稿593096-117(2010)。MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}和\textit{A.Podelski},莱克特。注释计算。科学。5930、96-117(2010年;Zbl 1274.68035) 全文: 内政部
马塞尔·杰克逊;蒂姆·斯托克斯 带有if-then-else和暂停程序的半群。 (英语) Zbl 1203.08005号 国际代数计算杂志。 19,第7期,937-961(2009). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:08A70号 20平方米 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Jackson}和\textit{T.Stokes},《国际代数计算》。19,编号:7937-961(2009年;Zbl 1203.08005) 全文: 内政部
克里斯特尔·拜尔;马库斯·格罗斯尔;Frank Ciesinski先生 公平约束下的定量分析。 (英语) Zbl 1262.68102号 刘志明(编辑)等,《验证和分析自动化技术》。2009年10月14日至16日,第七届国际研讨会,ATVA 2009,中国澳门。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04760-2/pbk)。计算机科学课堂讲稿5799135-150(2009)。MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,Lect。注释计算。科学。5799、135-150(2009年;Zbl 1262.68102) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;芭芭拉·乔布斯曼;维雷娜·沃尔夫 指定马尔科夫人口模型的形式化。 (英语) Zbl 1260.68284号 Bournez,Olivier(编辑)等人,《可达性问题》。2009年9月23日至25日,法国帕莱索,RP 2009第三届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04419-9/pbk)。计算机科学课堂讲稿5797,3-23(2009)。MSC公司:87年第68季度 60J27型 65立方厘米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。5797,3--23(2009年;Zbl 1260.68284) 全文: 内政部 链接
阿尔伯特·本文尼斯特;贝诺·凯劳德;阿尔贝托·法拉利;莱昂纳多·曼格鲁卡;罗伯托·帕塞罗内;克里斯托斯·索夫罗尼斯 基于合同的多视点规范和设计。 (英语) Zbl 1209.68120号 de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。2007年10月24日至26日在荷兰阿姆斯特丹举行的2007年FMCO第六届国际研讨会。修订的讲座。柏林:施普林格出版社(ISBN 978-3-540-92187-5/pbk)。计算机科学课堂讲稿5382200-225(2008)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Benveniste}等人,Lect。注释计算。科学。5382200-225(2008年;Zbl 1209.68120) 全文: 内政部
杨晓晓;段振华 框架Tempura的操作语义。 (英语) Zbl 1170.68006号 J.日志。阿尔盖布。程序。 78,编号1,22-51(2008).MSC公司:68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{X.Yang}和\textit{Z.Duan},J.Log。阿尔盖布。程序。78,编号1,22--51(2008;Zbl 1170.68006) 全文: 内政部
阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特;Lars Birkedal公司 霍尔类型理论、多态性和分离。 (英语) Zbl 1155.68354号 J.功能。程序。 18,编号5-6,865-911(2008).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Nanevski}等人,J.Funct。程序。18,编号5--6865--911(2008;Zbl 1155.68354) 全文: 内政部
公鸡,大卫;格温·克莱恩;托马斯·休厄尔 安全的微内核、状态单体和可伸缩的优化。 (英语) Zbl 1165.68454号 Mohamed,Otmane Ait(编辑)等,《高阶逻辑中的定理证明》。2008年8月18日至21日在加拿大蒙特利尔举行的2008年第21届TPHOL国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71065-3/pbk)。计算机科学课堂讲稿5170167-182(2008)。MSC公司:第68页第15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Cock}等人,Lect。注释计算。科学。5170167--182(2008年;Zbl 1165.68454) 全文: 内政部
萨德克·本萨勒姆;多龙·贝利德;曲洪阳;斯塔夫罗斯·特里帕基斯 为并发定时系统自动生成路径条件。 (英语) Zbl 1293.68201号 西奥。计算。科学。 404,第3号,275-292(2008).MSC公司:68问题85 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bensalem}等人,Theor。计算。科学。404,第3号,275--292(2008;Zbl 1293.68201) 全文: 内政部
罗兰·巴克豪斯;费雷拉,乔昂·F·。 重新计算理性:两次! (英语) Zbl 1156.11308号 Audebaud,Philippe(编辑)等,《程序构造的数学》。2008年7月15日至18日,第九届国际会议,MPC 2008,法国马赛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70593-2/pbk)。计算机科学讲义5133,79-91(2008)。MSC公司:11B75号 05二氧化碳 2016年11月 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse}和\textit{J.F.Ferreira},莱克特。注释计算。科学。5133、79-91(2008年;Zbl 1156.11308) 全文: 内政部
保罗·祖利亚尼 混合态量子编程。 (英语) 兹比尔1277.68061 Peter Selinger(编辑),《第三届量子编程语言国际研讨会论文集》(QPL 2005),美国伊利诺伊州芝加哥德保大学,2005年6月30日至7月1日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记170,185-199(2007)。MSC公司:68号30 81页68 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.Zuliani},电子。理论注释。计算。科学。170185-199(2007年;Zbl 1277.68061) 全文: 内政部
德波尔,F.S。;印地语,K.V。;范德霍克,W。;梅耶,J.-J.Ch。 具有声明性目标的代理编程验证框架。 (英语) Zbl 1122.68078号 J.应用。日志。 第5期,第2期,277-302页(2007年).MSC公司:60年第68季度 68时01分 03B70号 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人,J.Appl。日志。5,第2号,277--302(2007;Zbl 1122.68078) 全文: 内政部
克里斯托弗·沃尔顿。 可验证的代理对话。 (英语) Zbl 1119.68392号 J.应用。日志。 5,第2期,197-213(2007).MSC公司:68T05型 68时01分 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.D.Walton},J.应用。日志。5,第2号,197--213(2007;Zbl 1119.68392) 全文: 内政部
埃纳尔·布罗赫·约翰森;Owe、Olaf;Yu,Ingrid Chieh女士 Creol:分布式并发系统的一种类型安全的面向对象模型。 (英语) Zbl 1118.68031号 西奥。计算。科学。 365,第1-2期,23-66(2006).MSC公司:68米14 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}等人,Theor。计算。科学。365,编号1--2,23-66(2006;Zbl 1118.68031) 全文: 内政部
朱尔斯·德沙奈斯;伯恩哈德·莫勒;费卢兹·切尔 克莱恩在一个模态恶魔星下。 (英语) Zbl 1086.68080号 J.日志。阿尔盖布。程序。 66,第2期,127-160(2006).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人,J.Log。阿尔盖布。程序。66,第2号,127--160(2006;Zbl 1086.68080) 全文: 内政部 链接
Mehmet Hakan卡拉塔 最佳自稳定无约束交流发电机。 (英语) Zbl 1105.68008号 J.计算。系统。科学。 71,第4期,480-494(2005).MSC公司:68米14 PDF格式BibTeX公司 XML格式引用 \textit{M.H.Karata},J.计算。系统。科学。71,第4号,480--494(2005;Zbl 1105.68008) 全文: 内政部
保罗·祖利亚尼 编译量子程序。 (英语) Zbl 1079.68020号 学报信息。 41,编号7-8,435-474(2005).MSC公司:68N20型 2005年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{P.Zuliani},《学报》第41期,第7--8、435--474号(2005年;Zbl 1079.68020) 全文: 内政部
陈一峰;J.W.桑德斯。 最弱的说明符。 (英语) Zbl 1079.68021号 学报信息。 41,编号7-8,383-414(2005).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chen}和\textit{J.W.Sanders},《学报》第41期,第7--8383--414号(2005;Zbl 1079.68021) 全文: 内政部
罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 通过抽象解释转换语义。 (英语) Zbl 1080.68061号 西奥。计算。科学。 337,编号1-3,1-50(2005). 审核人:Damas Gruska(布拉迪斯拉发) MSC公司:68问题55 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{R.Giacobazzi}和\textit{I.Mastroeni},Theor。计算。科学。337,编号1--3,1--50(2005;Zbl 1080.68061) 全文: 内政部
科马克·弗拉纳根;斯蒂芬·弗伦德(Stephen N.Freund)。;沙兹·卡迪尔;Sanjit A.Seshia。 多线程程序的模块化验证。 (英语) Zbl 1108.68080号 西奥。计算。科学。 338,编号1-3,153-183(2005).MSC公司:68问题85 68号30 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{C.Flanagan}等人,Theor。计算。科学。338,编号1--3,153-183(2005;Zbl 1108.68080) 全文: 内政部 链接