×

找到60份文件（结果1-60）

最新的 引文 关联
尼古拉·苏沃罗夫（Nikolai M.Suvorov）。；伊琳娜·洛马佐娃（Irina A.Lomazova）。

数据软件过程模型的验证：检查数据Petri网的可靠性。 （英语） Zbl 07820972号

J.日志。阿尔盖布。方法计划。 138，文章ID 100953，28 p.（2024）.
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{N.M.Suvorov}和\textit{I.A.Lomazova}，J.Log。阿尔盖布。方法计划。138，文章ID 100953，28 p.（2024；Zbl 07820972）
全文： DOI程序
凯文·洛茨；米贾·库尔琴斯基；德克·诺沃特卡；丹尼·鲍尔森；安德斯·施利奇特克鲁尔

验证验证：Isabelle中字符串的SMT-LIB。 （英语） Zbl 07810935号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。第14151页、第206-217页（2023年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Lotz}等人，Lect。注释计算。科学。14151，206-217（2023；Zbl 07810935）
全文： DOI程序
费边·鲍尔·马尔夸特；斯特凡·洛伊；克里斯蒂安·席林

symQV（对称QV）：量子程序的自动符号验证。 （英语） Zbl 1529.68152号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 181-198 (2023).
MSC公司：60年第68季度 68号30 68伏15 81页68
PDF格式BibTeX公司 XML格式引用
\textit{F.Bauer-Marquart}等人，Lect。注释计算。科学。14000、181--198（2023年；Zbl 1529.68152）
全文： DOI程序 arXiv公司
盛、欢欢；亚历山大·本特坎普；詹伯华

HHLPy公司：使用霍尔逻辑对混合系统进行实际验证。 （英语） Zbl 1529.68164号

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 1529.68164）
全文： DOI程序 arXiv公司
吉安尼斯·德尔姆帕尔塔基斯；加布里埃尔·德·阿尔伯克基·格莱泽；伊沃·范斯特拉伦；Manuel jun，马祖。

ETMetera：超出事件触发控制。 （英语） Zbl 07807728号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第20号论文，第11页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{G.Delimpaltadakis}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周的一部分，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第20号论文，第11页（2022；Zbl 07807728）
全文： DOI程序 arXiv公司
莫纳尔·纳拉西姆哈默西；桑卡拉纳拉亚南，斯里拉姆

离散时间线性混合系统的输出序列解码。 （英语） Zbl 07807714号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第6号论文，第7页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Narasimhamurthy}和\textit{S.Sankaranarayanan}，摘自：第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周的一部分，意大利米兰与虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第6号文件，第7页（2022；Zbl 07807714）
全文： DOI程序
马尔顿哈伊杜；佩特拉·霍佐娃；劳拉·科瓦奇；贾尔斯·里格尔；安德烈·沃伦科夫

感应饱和。 （英语） Zbl 1528.68391号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 306-322 (2022).
MSC公司：68伏15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Hajdu}等人，Lect。注释计算。科学。13660306--322（2022；Zbl 1528.68391）
全文： DOI程序
安德烈亚斯·基蒂斯；埃里克·文；丹尼尔·弗里蒙特。

针对多样性和成本约束的随机化合成与控制即兴创作。 （英语） Zbl 1514.68134号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13372, 526-546 (2022).
MSC公司：60年第68季度 65年第68季度 68T20型 68瓦20 68T40型
PDF格式BibTeX公司 XML格式引用
\textit{A.Gittis}等人，Lect。注释计算。科学。13372、526--546（2022年；Zbl 1514.68134）
全文： DOI程序 arXiv公司
西蒙迪尔；福尔克·豪尔

到达通过历史独立性研究寄存器自动机。 （英语） Zbl 1514.68097号

Kovács，Laura（编辑）等人，《测试和证明》。第16届国际会议，TAP 2022，作为STAF 2022的一部分，于2022年7月5日在法国南特举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13361, 11-30 (2022).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Dierl}和\textit{F.Howar}，莱克特。注释计算。科学。13361，11--30（2022；Zbl 1514.68097）
全文： DOI程序
亚历山德罗·阿巴特；丹尼尔·艾哈迈德；亚历克·爱德华兹；米尔科·贾科布；安德烈亚·佩鲁福

FOSSIL：使用神经网络对Lyapunov函数和屏障证书进行形式化合成的软件工具。 （英语） Zbl 07807697号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第24号论文，第11页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Abate}等人，in：《第24届ACM混合系统国际会议论文集：计算与控制》，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第24号论文，第11页（2021；Zbl 07807697）
全文： DOI程序
加布里埃尔·德·A·格莱泽；曼纽尔·马佐

计算事件触发控件的采样性能。 （英语） Zbl 07807693号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第20号论文，第7页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{G.de A.Gleizer}和\textit{M.Mazo}，in：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第20号论文，第7页（2021；Zbl 07807693）
全文： DOI程序 arXiv公司
帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；陈玉芳；比菲省迪普；卢卡什·霍利克；胡登庚；蔡伟伦；吴志林；甄子丹

用平面抽象解决非子串约束。 （英语） 兹比尔1520.68068

哦，Hakjoo（编辑），编程语言和系统。第19届亚洲研讨会，APLAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13008, 305-320 (2021).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，Lect。注释计算。科学。13008305-320（2021；Zbl 1520.68068）
全文： DOI程序
Takumi岛田；小林直树；肯·萨卡约里；佐藤隆介

符号自动关系及其在SMT和CHC求解中的应用。 （英语） Zbl 1497.68320号

Drágoi，Cezara（编辑）等人，《静态分析》。第28届国际研讨会，SAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12913, 405-428 (2021).
MSC公司：60年第68季度 68第05页 65年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{T.Shimoda}等人，Lect。注释计算。科学。12913、405--428（2021；Zbl 1497.68320）
全文： DOI程序 arXiv公司
亚历山大·克努佩尔；英加·雅茨科夫斯基；马库斯·诺尔特；托马斯·图姆；托拜厄斯·隆格；伊娜·谢弗

基于技能的网络物理系统验证。 （英语） Zbl 1507.68093号

Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12076, 203-223 (2020).
MSC公司：68号30 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Knüppel}等人，Lect。注释计算。科学。12076203-223（2020；Zbl 1507.68093）
全文： DOI程序
Wytse Oortwijn公司；玛丽克·赫斯曼；Joosten，Sebastian J.C。；范德波尔（Jaco van de Pol）

自动验证并行嵌套DFS。 （英语） Zbl 1517.68248号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 247-265 (2020).
MSC公司：60年第68季度 68问题85 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{W.Oortwijn}等人，Lect。注释计算。科学。12078，247--265（2020；Zbl 1517.68248）
全文： DOI程序
马拉·唐宁；阿卜丁·莫拉维；Lucas Bang先生

符号执行+模型计数+熵最大化=自动搜索合成。 （英语） Zbl 07455740号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32650-65（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛M.Downing｝等人，Electron。程序。西奥。计算。科学。（EPTCS）326、50-65（2020；Zbl 07455740）
全文： arXiv公司 链接
玛丽亚娜·拉齐奇；伊戈尔·康诺夫；约瑟夫·威德；罗德里克·布洛姆

具有参数化阈值保护的分布式算法的综合。 （英语） Zbl 1487.68252号

Aspnes，James（ed.）等人，第21届分布式系统原理国际会议，OPODIS 2017，葡萄牙里斯本，2017年12月18日至20日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。95，第32条，第20页（2018年）。
MSC公司：68宽15 64岁以下 68米15 68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Lazić}等人，LIPIcs——莱布尼茨国际程序。通知。95，第32条，第20页（2018；Zbl 1487.68252）
全文： DOI程序
亚历山大·克努佩尔；托马斯·图姆；卡斯滕·伊曼纽尔·帕迪拉；伊娜·谢弗

理解演绎验证的参数：KeY的实证调查。 （英语） Zbl 1511.68317号

Avigad，Jeremy（编辑）等，交互式定理证明。2018年7月9日至12日在英国牛津举行的2018年第九届国际会议ITP，作为联邦逻辑会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10895, 342-361 (2018).
MSC公司：68伏15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Knüppel}等人，Lect。注释计算。科学。10895、342--361（2018年；Zbl 1511.68317）
全文： DOI程序
罗德里克·布洛姆；格罗斯，汉内斯；里纳特·尤斯波夫；贝蒂娜·科尼霍费尔；斯特凡·曼加德；约翰内斯·温特

在出现故障时对屏蔽硬件实现进行正式验证。 （英语） Zbl 1428.94062号

Nielsen，Jesper Buus（编辑）等人，《密码学进展——2018年欧洲密码》。第37届密码技术理论与应用国际年会，以色列特拉维夫，2018年4月29日至5月3日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10821, 321-353 (2018).
MSC公司：94A60型 第68页第25页
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，Lect。注释计算。科学。10821，321--353（2018；Zbl 1428.94062）
全文： DOI程序
亚历山德罗·西马蒂；阿尔贝托·格里乔；艾哈迈德·伊尔凡；马可·罗维里；罗伯托·塞巴斯蒂亚尼

通过使用EUF对LRA进行增量缩减，对NRA过渡系统进行不变量检查。 （英语） Zbl 1452.68116号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日，第23届国际会议，TACAS 2017，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2017，瑞典乌普萨拉。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205，58-75（2017年）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。注释计算。科学。10205，58-75（2017；Zbl 1452.68116）
全文： DOI程序 arXiv公司
安德烈亚斯·米勒；斯特凡·米奇；沃纳·雷茨基格；维兰德·施温格；安德烈·普拉泽

混合系统组件验证的变更和延迟合同。 （英语） Zbl 1430.68154号

Huisman，Marieke（编辑）等人，《软件工程的基本方法》，第20届国际会议，2017年FASE，作为欧洲软件理论与实践联合会议的一部分，2017年ETAPS，2017年4月22日至29日，瑞典乌普萨拉。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10202, 134-151 (2017).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Müller}等人，Lect。注释计算。科学。10202、134--151（2017年；Zbl 1430.68154）
全文： DOI程序
亚历山大·佩特伦科；奥马尔·恩格纳·蒂莫；拉梅什，S。

FSM的多重突变测试。 （英语） Zbl 1347.68236号

Albert，Elvira（编辑）等人，分布式对象、组件和系统的形式化技术。第36届IFIP WG 6.1国际会议，2016年FORTE，作为第11届分布式计算技术国际联合会议的一部分，2016年6月6日至9日在希腊克里特岛赫拉克利恩举行。诉讼程序。查姆：施普林格（ISBN 978-3-319-39569-2/pbk；978-3-3169-39570-8/电子书）。计算机科学讲座笔记9688，222-238（2016）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Petrenko}等人，Lect。注释计算。科学。9688、222--238（2016；Zbl 1347.68236）
全文： DOI程序 哈尔
贾斯敏·克里斯蒂安·布兰切特；马蒂亚斯·弗勒里；克里斯托夫·韦登巴赫

一个经过验证的SAT求解器框架，具有学习、遗忘、重启和增量功能。 （英语） Zbl 1475.68432号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 25-44 (2016).
MSC公司：68伏15 68T05型 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{J.C.Blanchette}等人，Lect。注释计算。科学。9706，25-44（2016；Zbl 1475.68432）
全文： DOI程序 哈尔
达姆，沃纳；马提亚斯·霍巴赫；维奥里卡Sofrone-Stokkerman

线性混合自动机空间族安全属性验证的可判定性。 （英语） Zbl 1471.68114号

Lutz，Carsten（编辑）等人，《组合系统的前沿》。第十届国际研讨会，FroCoS 2015，波兰弗罗茨瓦夫，2015年9月21-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9322, 186-202 (2015).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.Damm}等人，Lect。注释计算。科学。9322、186--202（2015；Zbl 1471.68114）
全文： DOI程序 arXiv公司
马古斯·维恩斯

带有常规前瞻和回滚的符号字符串转换。 （英语） Zbl 1434.68117号

Voronkov，Andrei（编辑）等人，《系统信息学的观点》。2014年6月24日至27日，俄罗斯圣彼得堡，第九届国际Ershov信息学会议，PSI 2014。修改选定的论文。柏林：斯普林格。莱克特。注释计算。科学。8974, 335-350 (2015).
MSC公司：68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Veanes}，莱克特。注释计算。科学。8974、335--350（2015年；Zbl 1434.68117）
全文： DOI程序
西尔维·博尔多；弗朗索瓦·克莱门特；Jean-Christophe Filliátre；米凯拉·梅耶罗；纪尧姆·梅尔金德；皮埃尔·韦斯

可信计算：从偏微分方程到实际程序的机械化证明。 （英语） Zbl 1369.35051号

计算。数学。申请。 68，第3期，325-352（2014）.
MSC公司：35问题35 6500万06 60年第68季度 65G20个 68吨15 65个M12
PDF格式BibTeX公司 XML格式引用
\textit{S.Boldo}等人，计算。数学。申请。68，第3号，325--352（2014；Zbl 1369.35051）
全文： DOI程序 arXiv公司
塞尔吉·博戈莫洛夫；埃雷拉，基督徒；马尔科·穆尼兹；伯恩德·韦斯特法尔；安德烈亚斯·波德尔斯基

混合自动机中的准相关变量。 （英语） Zbl 1361.68118号

第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15日至17日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2732-9）。93-102 (2014).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛S.Bogomolov｝等人，发表于：第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15-17日。纽约州纽约市：计算机协会（ACM）。93-102（2014年；Zbl 1361.68118）
全文： DOI程序 链接
艾丽卡·阿尔布拉汉姆；贝恩德·贝克尔；克里斯蒂安·德内特；詹森，尼尔斯；Joost-Pieter卡托恩；拉尔夫·威默

离散时间马尔可夫模型的反例生成：介绍性调查。 （英语） Zbl 1445.68130号

Bernardo，Marco（编辑）等人，可执行软件模型的形式化方法。2014年6月16日至20日，意大利贝蒂诺罗，第14所计算机、通信和软件系统正式设计方法国际学校，SFM 2014。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8483, 65-121 (2014).
MSC公司：60年第68季度 60J22型 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.ábrahám}等人，Lect。注释计算。科学。8483、65-121（2014年；Zbl 1445.68130）
全文： DOI程序
严、超；马克·格林斯特雷特（Mark R.Greenstreet）。；杨素文

验证莫比乌斯环形振荡器的全球启动。 （英语） Zbl 1309.94195号

形式方法系统。设计。 45，第2期，246-272（2014）.
审核人：Eleonor Ciurea（布拉索夫）
MSC公司：94C05（二氧化碳） 60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{C.Yan}等人，《形式方法系统》。设计。45，第246-272号（2014年；兹bl 1309.94195）
全文： DOI程序
亚历克斯·格罗斯；克劳斯·哈弗伦德；杰拉尔德·霍尔兹曼；拉杰夫·乔希；徐如刚

建立飞行软件可靠性：测试、模型检查、约束求解、监控和学习。 （英语） Zbl 1298.68063号

安。数学。Artif公司。智力。 70，第4期，315-349（2014）.
MSC公司：68号30 76-04
PDF格式BibTeX公司 XML格式引用
\textit{A.Groce}等人，《数学年鉴》。Artif公司。智力。70，第4号，315--349（2014；Zbl 1298.68063）
全文： DOI程序
洛丽斯·达安东尼；马古斯·维恩斯

字符串编码器和解码器的静态分析。 （英语） 兹比尔1426.68043

Giacobazzi，Roberto（编辑）等人，《验证、模型检查和抽象解释》。第14届国际会议，2013年VMCAI，意大利罗马，2013年1月20日至22日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7737, 209-228 (2013).
MSC公司：68号30 68页30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.D'Antoni}和\textit{M.Veanes}，莱克特。注释计算。科学。7737，209--228（2013；Zbl 1426.68043）
全文： DOI程序
克拉克·巴雷特；斯特凡·德姆里；Deters，摩根

计数器运行的见证（摘要）。 （英语） Zbl 1401.68183号

Galmiche，Didier（编辑）等人，《使用分析表和相关方法的自动推理》。第22届国际会议，TABLEUX 2013，法国南希，2013年9月16日至19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40536-5/pbk）。计算机科学课堂讲稿8123。人工智能课堂讲稿，1-4（2013）。
MSC公司：60年第68季度 65年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.Barrett}等人，Lect。注释计算。科学。8123，1--4（2013；Zbl 1401.68183）
全文： DOI程序
克拉克·巴雷特；斯特凡·德姆里；Deters，摩根

见证柜台机器的运行。 （英语） Zbl 1397.68122号

Fontaine，Pascal（编辑）等人，《组合系统的前沿》。2013年9月18日至20日，法国南希，第九届国际研讨会，FroCoS 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40884-7/pbk）。计算机科学讲义8152。《人工智能课堂讲稿》，120-150（2013）。
MSC公司：60年第68季度 03B44号 30楼03号 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Barrett}等人，Lect。注释计算。科学。8152、120-150（2013；Zbl 1397.68122）
全文： DOI程序 哈尔
马杜苏丹，P。；Gennaro帕拉托；邱晓康

结合堆结构和数据的可决定逻辑。 （英语） Zbl 1284.68411号

2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。611-622 (2011).
MSC公司：60年第68季度 03B70号 68第05页 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Madhusudan}et al.，in：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’11，美国德克萨斯州奥斯汀，2011年1月26-28日。纽约州纽约市：计算机协会（ACM）。611--622（2011；Zbl 1284.68411）
全文： DOI程序 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件