{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,12,29]]，“日期时间”：“2022-12-29T07:52:04Z”，“时间戳”：1672300324955}，“出版商位置”：“柏林，海德堡”，“参考计数”：13，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{“值”：“9783540253334”，“类型”：“打印”}，{“值”：“9783540319801”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2005]]}，”DOI“：”10.1007\/978-3-540-31980-1_34“，”type“：”book-capter“，”created“：”{“date-part”：[2010,7,11]]，“date-time”：“2010-07-11T22:44:55 9Z“，”时间戳“：1278888299000}，”页面“：”526-540“，“source”：“Crossref”，“is-referenced-by-count”：17，“title”：[“使用磁盘进行高效时间模型检查”]，“prefix”：“10.1007”，”author“：[{”given“：”Tonglaga“，”family“：”Bao“，”sequence“：”first“，”affiliation“：[]}，{”given“:”Michael“，”家族“：”Jones“，”序列“：”additional“，”filiation，“非结构化”：“Bao，T.：磁盘模型检查算法的实证比较。技术报告VV-0402，计算机科学系，Brigham Young U.（2004）”}，｛“密钥”：“34_CR2”，“非结构化”：“Cormen，T.H.，Leiserson，C.E.，Rivest，R.L.：算法简介，ch.\u00a011。McGraw-Hill，New York（1999）“}，{“key”：“34_CR3”，“unstructured”：“显式模型检查基准测试（2004），可从以下网址获得：\n\n http://\/vv.cs.byu.edu \/emc”}，}“key:”34_CR4“，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“first page”：”146“，”doi“：”10.1007\/978-3-540-24732-6_10“，”volume-title“：“模型检查软件”，“author”：“M.D.Jones”，“year”：“2004”，“unstructured”：“Jones，M.D.，Mercer，E.：使用Hopper进行显式状态模型检查。收录：Graf，S.，Mounier，L.（编辑）SPIN 2004。LNCS，第u00a02989卷，第146\u2013150页。Springer，Heidelberg（2004）“}，{”key“：”34_CR5“，”volume-title“：”第十八届国际人工智能联合会议（IJCAI 2003）“，”author“：”R.E.Korf“，”year“：”2003“，”unstructured“：”Korf，R.E.：延迟重复检测：扩展抽象。In:Gottlob，G.，Walsh，T.（eds.）第十八届国际人工智能联合会议记录（IJCAI 2003）。Morgan Kaufmann，San Francisco（2003）“}，{”key“：”34_CR6“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“5”，”doi“：”10.1007\/978-3-540-24732-6_2“，”volume-title“：“模型检查软件”，“author”：“R.Pelanek”，“year”：“2004”，“unstructured”：“Pelanek，R.：状态空间的典型结构属性。收录：Graf，S.，Mounier，L.（编辑）SPIN 2004。LNCS，第u00a02989卷，第5\u201323页。Springer，Heidelberg（2004）“}，{“key”：“34_CR7”，“series title”：“计算机科学讲义”，“doi断言”：“publisher”，“首页”：“202”，“doi”：“10.1007\/3-540-36126-X_13”，“volume title”：“计算机辅助设计中的形式方法”，“author”：“G.Penna Della”，“year”：“2002”，“nonstructured”：“Della Penna，G.，Intrigila，B.，Tronci，E.，Venturini Zilli，M.：利用基于磁盘的Mur\u03c6验证器中的转换位置。收录人：医学博士Aagaard，O\u2019Leary，J.W.（编辑）FMCAD 2002。LNCS，卷\u00a02517，第202\u2013219页。Springer，Heidelberg（2002）“}，{”key“：”34_CR8“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“267”，”doi“：”10.1007\/978-3-540-24732-6_19“，”volume-title“：“模型检查软件”，”author“：”M.Rangarajan“，”year“：”2004“，”unstructured“：”Rangarajan，M.，Dajani Brown，S.，Schloegel，K.，Cofer，D.：应用于工业规模模型的分布式自旋分析。收录：Graf，S.，Mounier，L.（编辑）SPIN 2004。LNCS，第u00a02989卷，第267\u2013285页。Springer，Heidelberg（2004）“}，{”key“：”34_CR9“，”首页“：”635“，”volume-title“：”第33届设计自动化年会（DAC 1996）“，”author“：”R.K.Ranjan“，”year“：”1996“，”unstructured“：”Ranjan，R.K.，Sanghavi，J.V.，Brayton，R.K.Sangiovanni-Vincentelli，A.：通过利用内存层次结构实现高性能BDD包。参见：第33届设计自动化年会（DAC 1996），第635\u2013641页。ACM Press，New York（1996）“}，{”key“：”34_CR10“，”first page“：“353”，”volume-title“：”经典思维：纪念C.A.R.Hoare的论文“，”author“：”A.W.Roscoe“，”year“：”1994“，”unstructured“：”Roscoe，A.W.：模型选择CSP。in:A Classical Mind:纪念C.A.R Hoare论文“，pp.353\u2013378。Prentic-Hall，Englewood Cliffs（1994）“}，{“key”：“34_CR11”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“first page”：”256“，“doi”：“10.1007\/3-540-63166-6_26”，“volume-title”：”计算机辅助验证“，“author”：“U.Stern”，“year”：“1997”，“unstructured”：“Stern，U.，Dill，D.L.：并行化Mur\u03c6验证器。收录：Grumberg，O.（编辑）CAV 1997。LNCS，第u00a01254卷，第256\u2013267页。Springer，Heidelberg（1997）“}，{”key“：”34_CR12“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“172”，”doi“：”10.1007\/BFb0028743“，”volume-title“：“计算机辅助验证”，”author“：”U.Stern“，”year“：”1998“，”unstructured“：”Stern，U.，Dill，D.L.：在Mur\u03c6验证器中使用磁盘代替主存储器。收录：Vardi，M.Y.（编辑）CAV 1998。LNCS，卷\u00a01427，第172\u2013183页。Springer，Heidelberg（1998）“}，{“key”：“34_CR13”，“unstructured”：“Zhou，R.，Hansen，E.：外部记忆图搜索中的结构化重复检测。摘自：McGuinness，D.L.，Ferguson，G.（eds.）第十九届全国人工智能会议（AAAI 2004），加利福尼亚州圣何塞，第677\u2013682页。AAAI出版社\/MIT出版社（2004）“}”，“container-title”：[“系统构建和分析的工具和算法”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-31980-1_34.pdf”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期-部分”：[[2021,5,3]]，“日期-时间”：“2021-05-03T03:44:37Z”，“时间戳”：1620013477000}，“分数”：1，“资源”：{“主要”:{“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-31980-1_34”}}，“ISBN”：[“9783540253334”，“9783540319801”]，“references-count“：13，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-540-31980-1_34“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743}}