×

找到45个文档（结果1-45）

最新的 引文 关联
Edmund M.jun Clarke。;奥尔纳·格伦伯格;丹尼尔·克罗宁;多龙·贝利德;赫尔穆特·维思

模型检查。第二次扩展和更新版本。 （英语） Zbl 1423.68002号

网络物理系统系列马萨诸塞州剑桥：麻省理工学院出版社（ISBN 978-0-262-03883-6/hbk）。xx，402页。(2018).
MSC公司：68-01 68-02 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Clarke jun.}等人，模型检查。第二次扩展和更新版本。马萨诸塞州剑桥：麻省理工学院出版社（2018；Zbl 1423.68002）
埃德蒙·克拉克（Edmund M.Clarke）。;托马斯·亨辛格。;赫尔穆特·维思

模型检查简介。 （英语） Zbl 1392.68242号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1-26（2018年）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Clarke}等人，in：模型检查手册。查姆：斯普林格。1-26（2018；Zbl 1392.68242）
全文： 内政部
埃德蒙·克拉克（Edmund M.Clarke）。（编辑）;托马斯·亨辛格。（编辑）;赫尔穆特·维思（编辑）;罗德里克·布洛姆（编辑）

模型检查手册。 （英语） 兹比尔1390.68001

查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。第二十四、1210页。(2018).
MSC公司：68-00 68-06 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Clarke}（编辑）等人，《模型检查手册》。查姆：施普林格（2018；Zbl 1390.68001）
全文： 内政部
沙迦·伊扎基;托默·科泰克;诺姆·里内茨基;穆利·萨吉夫;奥尔·塔米尔;赫尔穆特·维思;弗洛里安·祖勒格

关于使用嵌入式SQL自动验证web应用程序。 （英语） Zbl 1402.68123号

Benedikt，Michael（编辑）等人，第20届数据库理论国际会议，2017年ICDT，意大利威尼斯，2017年3月21日至24日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-024-8）。LIPIcs–莱布尼茨国际信息学论文集68，第16条，第18页（2017年）。
MSC公司：60年第68季度 03B70号 68英里11 68甲15 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{S.Itzhaky}等人，LIPIcs——莱布尼茨国际程序。通知。68，第16条，第18页（2017；Zbl 1402.68123）
全文： 内政部 arXiv公司
伊戈尔·康诺夫;玛丽亚娜·拉齐奇;赫尔穆特·维思;约瑟夫·威德

\（\text｛Para｝^2 \）：参数化路径缩减、加速和SMT，用于阈值保护分布式算法中的可达性。 （英语） Zbl 1380.68279号

形式方法系统。设计。 51，第2期，270-307（2017）.
MSC公司：60年第68季度 64岁以下 68米15 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{I.Konnov}等人，《形式方法系统》。设计。51，第2号，270--307（2017；Zbl 1380.68279）
全文： 内政部
伊戈尔·康诺夫;玛丽亚娜·拉齐奇;赫尔穆特·维思;约瑟夫·威德

容错分布式算法安全性和活性验证的简短反例属性。 （英语） Zbl 1380.68278号

Castagna，Giuseppe（ed.）等人，第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。719-734 (2017).
MSC公司：60年第68季度 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{I.Konnov}等人，in：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15-21日。纽约州纽约市：计算机协会（ACM）。719--734（2017；Zbl 1380.68278）
全文： 内政部 arXiv公司
伊戈尔·康诺夫;托默·科泰克;王强;赫尔穆特·维思;西蒙·布利兹;约瑟夫·西法基斯

BIP中的参数化系统：设计和模型检查。 （英语） 兹比尔1392.68254

Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学会议59，Article 30，16 p.（2016）。
MSC公司：60年第68季度 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.Konnov}等人，LIPIcs——莱布尼茨国际程序。通知。59，第30条，第16页（2016；Zbl 1392.68254）
全文： 内政部
伊戈尔·康诺夫;赫尔穆特·维思;约瑟夫·威德

关于容错分布式算法的模型检查，您一直想知道的是什么。 （英语） Zbl 1461.68115号

Mazzara，Manuel（编辑）等人，《系统信息学的观点》。2015年8月24日至27日，第十届安德烈·埃尔绍夫国际信息学会议，PSI 2015，纪念俄罗斯喀山和Innopolis的赫尔穆特·维斯。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9609, 6-21 (2016).
MSC公司：60年第68季度 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{I.Konnov}等人，Lect。注释计算。科学。9609年6月21日（2016年；Zbl 1461.68115）
全文： 内政部 链接
罗德里克·布洛姆;瑞典雅各布斯;阿伊拉特·哈利莫夫;伊戈尔·康诺夫;萨沙·鲁宾;赫尔穆特·维思;约瑟夫·威德

参数化验证的可决定性。 （英语） Zbl 1400.68006号

分布式计算理论综合讲座13.加州圣拉斐尔：Morgan&Claypool出版社（ISBN 978-1-62705-743-1；978-1-6270 5-744-8/电子书）。xi，第158页。(2015).
MSC公司：68-02 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，参数化验证的可决定性。加利福尼亚州圣拉斐尔：Morgan&Claypool出版社（2015；Zbl 1400.68006）
全文： 内政部
伊戈尔·康诺夫;赫尔穆特·维思;约瑟夫·威德

SMT和POR拍计数器抽象：基于阈值的分布式算法的参数化模型检查。 （英语） Zbl 1381.68172号

Kroening，Daniel（编辑）等人，《计算机辅助验证》。2015年7月18日至24日，第27届国际会议，CAV 2015，美国加利福尼亚州旧金山。诉讼程序。第一部分：查姆：施普林格（ISBN 978-3-319-21689-8/pbk；978-3-3169-21690-4/电子书）。《计算机科学讲义》9206，85-102（2015）。
MSC公司：60年第68季度 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{I.Konnov}等人，Lect。注释计算。科学。9206,85-102（2015；Zbl 1381.68172）
全文： 内政部
阿努·格梅纳;伊戈尔·康诺夫;乌尔里希·施密德;赫尔穆特·维思;约瑟夫·威德

容错分布式算法的参数化模型检查教程。 （英语） Zbl 1445.68133号

Bernardo，Marco（编辑）等人，可执行软件模型的形式化方法。2014年6月16日至20日，意大利贝蒂诺罗，第14所计算机、通信和软件系统正式设计方法国际学校，SFM 2014。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8483, 122-171 (2014).
MSC公司：60年第68季度 68宽15
PDF格式BibTeX公司 XML格式引用
\textit｛A.Gmeiner｝等人，Lect。注释计算。科学。8483122--171（2014年；Zbl 1445.68133）
全文： 内政部
塞扎拉·奥盖医生;托马斯·亨辛格。;赫尔穆特·维思;约瑟夫·威德;达米安·祖弗里

用于验证一致性算法的基于逻辑的框架。 （英语） Zbl 1428.68371号

McMillan，Kenneth L.（编辑）等人，《验证、模型检查和抽象解释》。2014年1月19日至21日，第15届国际会议，VMCAI 2014，美国加利福尼亚州圣地亚哥。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8318, 161-181 (2014).
MSC公司：68宽15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛C.Drăgoi｝等人，Lect。注释计算。科学。8318，161--181（2014；Zbl 1428.68371）
全文： 内政部
格格利·科瓦什奈;赫尔穆特·维思;安德烈亚斯·弗里奇;阿明·比尔

位向量逻辑中符号验证和决策问题的复杂性。 （英语） Zbl 1426.68127号

Csuhaj-Varjü，Erzébet（编辑）等人，2014年计算机科学数学基础。2014年8月25-29日在匈牙利布达佩斯举行的2014年MFCS第39届国际研讨会。诉讼，第二部分。柏林：斯普林格。莱克特。注释计算。科学。8635, 481-492 (2014).
MSC公司：65年第68季度 03B25号 03B70号 2015年第68季度 2017年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Kovásznai}等人，Lect。注释计算。科学。8635481--492（2014年；Zbl 1426.68127）
全文： 内政部
伊戈尔·康诺夫;赫尔穆特·维思;约瑟夫·威德

基于阈值的分布式算法有界模型检查的完备性：可达性。 （英语） Zbl 1417.68136号

Baldan，Paolo（编辑）等人，CONCUR 2014–并发理论。第25届国际会议，CONCUR 2014，罗马，意大利，2014年9月2-5日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8704, 125-140 (2014).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.Konnov}等人，Lect。注释计算。科学。8704、125--140（2014；Zbl 1417.68136）
全文： 内政部 链接
本杰明·阿米诺夫;托默·科泰克;萨沙·鲁宾;弗朗西斯科·斯佩尼;赫尔穆特·维思

交会系统的参数化模型检查。 （英语） 兹伯利1417.68112

Baldan，Paolo（编辑）等人，CONCUR 2014–并发理论。第25届国际会议，CONCUR 2014，罗马，意大利，2014年9月2-5日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8704, 109-124 (2014).
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Aminof}等人，Lect。注释计算。科学。8704、109--124（2014；Zbl 1417.68112）
全文： 内政部
安德烈亚斯·霍尔泽;克里斯蒂安·夏尔哈特;迈克尔·陶奇尼格;赫尔穆特·维思

正则语言有理集的结构和复杂性。 （英语） Zbl 1359.68170号

Seth，Anil（ed.）等人，第33届软件技术和理论计算机科学基础国际会议，FSTTCS 2013，印度古瓦哈蒂，2013年12月12-14日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-64-4）。LIPIcs–莱布尼茨国际信息学论文集24，377-388（2013）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Holzer}等人，LIPIcs——莱布尼茨国际程序。通知。24、377--388（2013年；Zbl 1359.68170）
全文： 内政部 arXiv公司
德克·拜尔;安德烈亚斯·霍尔泽;迈克尔·陶奇尼格;赫尔穆特·维思

用于多目标可达性分析的信息重用。 （英语） Zbl 1381.68148号

Felleisen，Matthias（编辑）等人，《编程语言和系统》。2013年3月16日至24日，作为欧洲软件理论与实践联合会议的一部分，在意大利罗马举行了第22届欧洲编程研讨会（ESOP 2013）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37035-9/pbk）。计算机科学课堂讲稿7792，472-491（2013）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Beyer}等人，Lect。注释计算。科学。7792、472--491（2013年；Zbl 1381.68148）
全文： 内政部
娜塔莎·莎莉吉娜（编辑）;赫尔穆特·维思（编辑）

计算机辅助验证。2013年7月13日至19日在俄罗斯圣彼得堡举行的2013年CAV第25届国际会议。诉讼程序。 （英语） Zbl 1268.68032号

计算机科学课堂讲稿8044.柏林：施普林格出版社（ISBN 978-3-642-39798-1/pbk）。xxi，1015页。(2013).
MSC公司：68-06 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{N.Sharygina}（编辑）和\textit{H.Veith}（编），计算机辅助验证。2013年7月13日至19日在俄罗斯圣彼得堡举行的2013年CAV第25届国际会议。诉讼程序。柏林：施普林格出版社（2013；Zbl 1268.68032）
全文： 内政部
安德烈亚斯·霍尔泽;迈克尔·陶奇尼格;克里斯蒂安·夏尔哈特;赫尔穆特·维思

FQL测试规范简介。 （英语） Zbl 1325.68148号

Barner，Sharon（编辑）等人，《硬件和软件：验证和测试》。2010年10月4日至7日，以色列海法HVC 2010第六届国际海法验证会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19582-2/pbk）。计算机科学课堂讲稿6504，9-22（2011）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Holzer}等人，Lect。注释计算。科学。6504，9-22（2011年；兹bl 1325.68148）
全文： 内政部
约翰内斯·金德;弗洛里安·祖勒格;赫尔穆特·维思

一个基于抽象解释的框架，用于从二进制文件重建控制流。 （英语） Zbl 1206.68091号

Jones，Neil D.（编辑）等人，《验证、模型检验和抽象解释》。2009年1月18日至20日，第十届国际会议，VMCAI 2009，美国佐治亚州萨凡纳。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-93899-6/pbk）。计算机科学课堂讲稿5403，214-228（2009）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Kinder}等人，Lect。注释计算。科学。5403、214--228（2009年；Zbl 1206.68091）
全文： 内政部 链接
安德烈亚斯·霍尔泽;克里斯蒂安·夏尔哈特;迈克尔·陶奇尼格;赫尔穆特·维思

查询驱动程序测试。 （英语） Zbl 1206.68089号

Jones，Neil D.（编辑）等人，《验证、模型检验和抽象解释》。2009年1月18日至20日，第十届国际会议，VMCAI 2009，美国佐治亚州萨凡纳。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-93899-6/pbk）。计算机科学课堂讲稿5403151-166（2009）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Holzer}等人，Lect。注释计算。科学。5403151--166（2009年；Zbl 1206.68089）
全文： 内政部
奥尔纳·格伦伯格（编辑）;赫尔穆特·维思（编辑）

25年的模型检查。历史、成就、观点。 （英语） Zbl 1139.68003号

计算机科学课堂讲稿5000.柏林：施普林格出版社（ISBN 978-3-540-69849-4/pbk）。vii，第231页。(2008).
MSC公司：68-06 60年第68季度 03B70号 00B30型
PDF格式BibTeX公司 XML格式引用
\textit{O.Grumberg}（编辑）和textit{H.Veith}（主编），25年的模型检查。历史、成就、观点。柏林：施普林格出版社（2008；Zbl 1139.68003）
全文： 内政部
埃德蒙·克拉克;穆拉利·塔卢普尔;赫尔穆特·维思

证明托勒密的正确性：用于模型检查并发系统的环境抽象框架。 （英语） Zbl 1134.68403号

Ramakrishnan，C.R.（编辑）等人，《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008，是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。《计算机科学讲义》4963，33-47（2008）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Clarke}等人，Lect。注释计算。科学。4963、33-47（2008年；Zbl 1134.68403）
全文： 内政部
马尔科，萨默;赫尔穆特·维思

关于空洞真理的概念。 （英语） Zbl 1137.68438号

Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学课堂讲稿4790。人工智能课堂讲稿，2-14（2007）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.Samer}和\textit{H.Veith}，莱克特。注释计算。科学。4790，2--14（2007；Zbl 1137.68438）
全文： 内政部
埃德蒙·克拉克;穆拉利达尔·塔卢普尔;赫尔穆特·维思

参数化验证的环境抽象。 （英语） Zbl 1176.68117号

艾默生·E·艾伦（编辑）等人，《验证、模型检查和抽象解释》。第七届国际会议，VMCAI 2006，查尔斯顿，南卡罗来纳州，美国，2006年1月8日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-31139-4/pbk）。计算机科学课堂讲稿3855126-141（2006）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Clarke}等人，Lect。注释计算。科学。38551126-141（2006年；兹bl 1176.68117）
全文： 内政部
萨加·查基;埃德蒙·克拉克;奥尔纳·格伦伯格;约尔·瓦克宁;娜塔莎·莎莉吉娜;泰瑟·图利;赫尔穆特·维思

分支时间规范的状态/事件软件验证。 （英语） Zbl 1137.68432号

Romijn，Judi（编辑）等，《综合形式方法》。第五届国际会议，IFM 2005，荷兰埃因霍温，2005年11月29日至12月2日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-30492-0/pbk）。计算机科学课堂讲稿3771，53-69（2005）。
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Chaki}等人，Lect。注释计算。科学。3771、53--69（2005年；Zbl 1137.68432）
全文： 内政部
埃德蒙·克拉克;穆拉利达尔·塔卢普尔;赫尔穆特·维思;王栋（Wang，Dong）

用于硬件验证的基于SAT的谓词抽象。 （英语） Zbl 1204.68129号

Giunchiglia，Enrico（编辑）等，可满足性测试的理论和应用。2003年5月5日至8日，意大利圣玛格丽塔·利古雷，第六届国际SAT会议。选定的修订论文。柏林：施普林格出版社（ISBN 3-540-20851-8/pbk）。莱克特。注释计算。科学。2919, 78-92 (2004).
MSC公司：60年第68季度 68吨15 68分20秒
PDF格式BibTeX公司 XML格式引用
\textit{E.Clarke}等人，Lect。注释计算。科学。2919、78——92（2004年；Zbl 1204.68129）
全文： 内政部
马可·萨梅尔;赫尔穆特·维思

参数化真空度。 （英语） 兹比尔1117.68436

Hu，Alan J.（编辑）等，《计算机辅助设计中的形式化方法》。2004年11月15日至17日，第五届国际会议，FMCAD 2004，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23738-0/pbk）。计算机科学课堂讲稿3312，322-336（2004）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Samer}和\textit{H.Veith}，莱克特。注释计算。科学。3312、322--336（2004年；Zbl 1117.68436）
全文： 内政部
马尔科，萨默;赫尔穆特·维思

分布式LTL查询的语法特征。 （英语） Zbl 1099.68058号

Díaz，Josep（编辑）等人，《自动化、语言和编程》。2004年7月12日至16日，芬兰图尔库，第31届国际学术讨论会，ICALP 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22849-7/pbk）。计算机科学讲义31421099-1110（2004）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.Samer}和\textit{H.Veith}，莱克特。注释计算。科学。3142、1099--1110（2004；Zbl 1099.68058）
全文： 内政部
埃德蒙·克拉克;穆拉利达尔·塔卢普尔;泰瑟·图利;赫尔穆特·维思

通过网络分解进行验证。 （英语） Zbl 1099.68653号

Gardner，Philippa（编辑）等人，CONCUR 2004–并发理论。第十五届国际会议，2004年8月31日至9月3日，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22940-X/pbk）。计算机科学课堂讲稿3170276-291（2004）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Clarke}等人，Lect。注释计算。科学。31707276-291（2004年；兹比尔1099.68653）
全文： 内政部
埃德蒙·克拉克;赫尔穆特·维思

重温反例：原理、算法、应用。 （英语） Zbl 1274.68179号

Dershowitz，Nachum（编辑），《验证：理论与实践》。在佐哈尔·曼纳64岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-21002-4/pbk）。计算机科学课堂讲稿2772208-224（2003）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Clarke}和\textit{H.Veith}，莱克特。注释计算。科学。2772208--224（2003年；Zbl 1274.68179）
全文： 内政部
赫尔穆特·维思

朋友还是敌人？软件验证社区。 （英语） Zbl 1116.68497号

Baaz，Matthias（编辑）等人，《计算机科学逻辑》。2003年8月25日至30日，第17届CSL国际研讨会，EACSL第12届年会，KGC 2003第8届库尔特·哥德尔学术讨论会，奥地利维也纳。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40801-0/pbk）。莱克特。注释计算。科学。2803, 528-529 (2003).
MSC公司：60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{H.Veith}，莱克特。注释计算。科学。2803528-529（2003年；Zbl 1116.68497）
全文： 内政部
潘卡杰·乔汉;埃德蒙·克拉克;詹姆斯·库库拉;萨米尔·萨普拉;赫尔穆特·维思;王栋（Wang，Dong）

使用基于SAT的冲突分析对大型状态空间进行模型检查的自动抽象精化。 （英语） Zbl 1019.68618号

Aagaard，Mark D.（编辑）等人，《计算机辅助设计中的形式化方法》。第四届国际会议，2002年11月6日至8日，美国俄勒冈州波特兰市，FMCAD 2002。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2517, 33-51 (2002).
MSC公司：68单位07 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Chauhan}等人，Lect。注释计算。科学。2517，33-51（2002年；兹bl 1019.68618）
全文： 链接
乔汉，P。;E.克拉克。;Jha，S。;库库拉，J。;维思，H。;D.王。

使用组合优化方法进行量化调度。 （英语） Zbl 1002.68512号

Margaria，Tiziana（编辑）等人，《正确的硬件设计和验证方法》。第11届IFIP WG 10.5高级研究工作会议，CHARME 2001，苏格兰利文斯顿，英国，2001年9月4-7日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2144, 293-309 (2001).
MSC公司：60年第68季度 68分20秒 90C27型 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{P.Chauhan}等人，Lect。注释计算。科学。2144，293--309（2001；Zbl 1002.68512）
全文： 链接
埃德蒙·克拉克;奥尔纳·格伦伯格;Jha，萨默什;卢、袁;赫尔穆特·维思

反例引导的抽象细化。 （英语） Zbl 0974.68517号

Emerson，E.Allen（编辑）等人，《计算机辅助验证》。第十二届国际会议，CAV 2000。2000年7月15日至19日，美国伊利诺伊州芝加哥。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1855, 154-169 (2000).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Clarke}等人，Lect。注释计算。科学。1855，154--169（2000；Zbl 0974.68517）
乔治·戈特洛布;埃里希·格拉德尔;赫尔穆特·维思

线性时间数据日志和分支时间逻辑。 （英语） Zbl 0979.68060号

Jack Minker（编辑），基于逻辑的人工智能。研讨会记录，华盛顿特区，美国，1999年6月。多德雷赫特：Kluwer学术出版社。Kluwer国际服务。工程计算。科学。597, 443-467 (2000).
MSC公司：60年第68季度 第68页，共15页 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{G.Gottlob}等人，Kluwer Int.Ser。工程计算。科学。597443-467（2000年；Zbl 0979.68060）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件