{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T06:07:50Z”，“时间戳”：1725516470390}，“出版商位置”：“柏林，海德堡”，“参考计数”：22，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“9783839”642317583“}，{”类型“：“electronic”，“value”：“9783642317590”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2012]]}，”DOI“：”10.1007\/978-3642-31759-0_13“，”type“：”book-capter“，”created“：”{“date-part”：[2012,7,19]]，“date-time”：“2012-07-19T00:5 9:50Z“，”时间戳“：1342659590000}，”页面“：”172-190“，“source”：“Crossref”，“由count引用”：4，“title”：[“使用抽象进行并行模型检查”]，“prefix”：“10.1007”，“author”：[｛”给定的：“Ethan”，“family”：“Burns”，“sequence”：“first”，“affiliation”：[]｝，｛”给定的：“Rong”，“family”：“Zhou”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“297”，“reference”：[｛”key“：“13_CR1”，“doi asserted by”：“Crossref””，“非结构化”：“Biere，A.，Artho，C.，Schuppan，V.：作为安全检查的活体检查。In:FMICS 2002:工业关键系统的形式化方法。ENTCS，vol.\u00a066（2）（2002）”，“DOI”：“10.1016\/S1571-0661（04）80410-9”}，{“key”：“13_CR2”，“series-title”：“计算机科学课堂笔记”，“DOI-asserted-by”：“publisher”，“first page”：”91“，”DOI“：“10.1007\/11537328_10”，“volume-title”：“模型检查软件”，“author”：“D.Bo\u0161na\u010dki”，“year”：“2005”，“unstructured”：“Bo\u061na\u010dki，D.，Holzmann，G.J.：改进Spin\u2019s的部分阶缩减以实现广度第一搜索。In:Godefroid，P.（ed.）Spin 2005。LNCS，第u00a03639卷，第91\u2013105页。Springer，Heidelberg（2005）“}，{”key“：”13_CR3“，”doi-asserted-by“：”crossref“，”first-page“：”689“，”doi“：”10.1613\/jair.3094“，”volume“：“39”，”author“：”E.Burns“，”year“：”2010“，”unstructured“：”Burns，E.，Lemons，S.，Ruml，W.，Zhou，R.：多核机器的最佳启发式搜索。《人工智能研究杂志》\u00a039，689\u2013743（2010）“，“期刊标题”：“人工智能研究杂志”}，｛“问题”：“4”，“关键”：“13_CR4”，“doi断言”：“crossref”，“首页”：“505”，“doi”：“10.1007\\s10009-002-0092-3”，“卷”：“4”，“作者”：“Y.Dong”，“年份”：“2003”，“非结构化”：“Dong，Y.，Du，X.，Holzmann，G.J.，Smolka，S.A.：对抗GNU i协议中的活锁：显式状态模型检查的案例研究。《国际技术转让软件工具杂志》（STTT）\u00a04（4），505\u2013528（2003）“，“Journal-title”：“国际技术转让工具杂志”}，{“key”：“13_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“Dwyer，M.B.、Elbaum，S.、Person，S.和Purandare，R.：平行随机状态空间搜索。摘自：《第29届国际软件工程会议论文集》，ICSE 2007，pp.3\u201312（2007）“，“DOI”：“10.1109\/ICSE.2007.62”}，{“issue”：“2”，“key”：“13_CR6”，“DOI-asserted-by”：“publisher”，“first page”：Evett，M.，Hendler，J.，Mahanti，A.，Nau，D.：PRA*-大规模并行启发式搜索。《并行与分布式计算杂志》\u00a025（2），133\u2013143（1995）“，“Journal-title”：《并行与分布计算杂志》}，{“key”：“13_CR7”，“unstructured”：“Holzmann，G.J.:The Spin Model Checker:Primer and Reference Manual.Addison-Wesley（2004）”}，“issue”：“10”，“key“13_CR”，“doi-asserted-by”：“publisher”，“first-page”：“659”，“DOI“：”10.1109\/TSE.2007.70724“，”volume“：”33“，”author“：”G.J.Holzmann“，”year“：”2007“，”unstructured“：”Holzmann-，G.J.，Bo\u0161na\u010dki，D.：自旋模型检查器多核扩展的设计。IEEE软件工程学报\u00a033（10），659\u2013674（2007）“，“期刊标题”：“IEEE软件工程学学报”}，{“key”：“13_CR9”，“unstructured”：“Holzmann，G.J.，Peled，D.：形式验证的改进。摘自：第七届IFIP WG6.1国际形式描述技术会议论文集，FORTE 1994（1994）“}，{”key“：”13_CR10“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“134”，”doi“：”10.1007\/978-3-540-85114-1_11“，”volume-title“：“模型检查软件”，”author“：”G.J.Holzmann“，”year“：”2008“，”unstructured“：”Holzmann，G.J.，Joshi，R.，Groce，A.：使用Swarm工具解决大型验证问题。收录：Havelund，K.，Majumdar，R.（编辑）SPIN 2008。LNCS，卷\u00a05156，第134\u2013143页。Springer，Heidelberg（2008）“}，{”key“：”13_CR11“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“237”，”doi“：”10.1007\/11609773_16“，”volume-title“：“验证、模型检查和抽象解释”，”author“：”S.Jabbar“，”year“：”2005“，”unstructured“：”Jabbar，S.、Edelkamp，S.：使用线性I/O进行并行外部定向模型检查。In：Emerson，E.A.、Namjoshi，K.S.（编辑）VMCAI 2006。LNCS，第u00a03855卷，第237\u2013251页。Springer，Heidelberg（2005）“}，{“key”：“13_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“Kishimoto，A.，Fukunaga，A.，Botea，A.：最佳顺序规划的可扩展并行最佳优先搜索。摘自：第十九届国际自动规划与调度会议论文集，ICAPS 2009（2009）”，“doi”：“10.1609\/icaps.v19i1.13350“}，{“key”：“13_CR13”，“doi-asserted-by”：“crossref”，“unstructured”：“Korf，R.：基于线性时间磁盘的隐式图形搜索。ACM\u00a035（6）（2008）杂志”，“doi”：“10.1145\/1455248.1455250”}，}“issue”：“3”，，“年份”：“1995”，“非结构化”：“Pike，R.、Presotto，D.、Dorward，S.、Flandrena，B.、Thompson，K.、Trickey，H.、Winterbottom，P.：贝尔实验室的计划9。Computing Systems\u00a08（3），221\u2013254（1995）“，”journal-title“：”Computing System“}，{”issue“：”5“，”key“：”13_CR15“，“doi-asserted-by”：“publisher”，“first page”：“229”，“doi”：“10.1016\/0020-0190（85）90024-9”，”volume“：“20”，”author“：”J.H.Reif“，”year“：”1985“，”unstructured“：”Reif，J.H.：深度优先搜索本质上是连续的。Information Processing Letters\u00a020（5），229\u2013234（1985）“，“journal-title”：“Information Procressing Letters”}，{“key”：“13_CR16”，“unstructured”：“Roscoe，A.W.：Model-checking csp。In:A Classic Mind，Essays In Honour of CAR Hoare，pp.353\u2013378。Prentice-Hall（1994）“}，{”issue“：”2-3“，”key“：”13_CR17“，”doi-asserted-by“：”crossref“，”first page“：“185”，“doi”：“10.1007\/s10009-003-0121-x”，“volume”：“5”，“author”：“V.Schuppan”，”year“2004”，“unstructured”：“Schuppan，V.，Biere，A.：有限状态模型检查到可达性分析的有效简化。《国际技术转让软件工具杂志》（STTT）\u00a05（2-3），185\u2013204（2004）“，“期刊标题”：“国际技术转让工具杂志”}，{“key”：“13_CR18”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”256“，“doi”：“10.1007\/3-540-63166-6_26”，“volume-title“：“计算机辅助验证”，“author”：“U.Stern”，“year”：“1997”，“unstructured”：“Stern，U.，Dill，D.：并行Mur\u03c6验证程序。收录：Grumberg，O.（编辑）CAV 1997。LNCS，第u00a01254卷，第256\u2013267页。Springer，Heidelberg（1997）“}，{“key”：“13_CR19”，“unstructured”：“Zhou，R.，Hansen，E.A.：外部记忆图搜索中的结构化重复检测。摘自：第十九届全国人工智能会议论文集，AAAI 2004，pp.683\u2013688（2004年7月）”}，}Zhou，R.，Hansen，E.A.：并行结构重复检测。摘自：《第二十二届人工智能会议论文集》，AAAI 2007，pp.1217\u20131223（2007）“}，{“key”：“13_CR21”，“doi-asserted-by”：“crossref”，“unstructured”：“Zhou，R.，Hansen，E.A.：外部记忆图搜索中的动态状态空间划分。在：《第二十一届自动化规划与调度国际会议论文集》，ICAPS 2011，pp.290\u2013297（2011）“，DOI”：“10.1609\/ICAPS.v21i113479”}，｛“key”：“13_CR22”，“DOI asserted by”：“crossref”，“unstructured”：“Zhou，R.，Schmidt，T.，Hansen，E.A.，Do，M.B.，Uckun，S.：并行结构重复检测中的边缘分割。摘自：2010年组合搜索国际研讨会，SOCS 2010，第137\u2013138页（2010）“，”DOI“：”10.1609\/SOCS.v1i1.18183“}]，”container-title“：[”计算机科学讲义“，”模型检查软件“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.10007\/978-3642-31759-0_13.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,6,24]]，”date-time“：”2023-06-24T13:36:41Z“，”timestamp“：1687613801000}，”score“：1，”resource“：{primary“：”{“URL”：“http://link.springer.com\/10007\/978-31759-0_13”}，“subtitle”：[]，“shorttitle”“：[]，”已发布“：{”日期部分“：[[2012]]}，“ISBN”：[“9783642317583”，“978364 2317590”]，“references-count”：22，“URL”：“http://\/dx.doi.org\/10.1007\/978-3642-31759-0_13”，“relationship”：{}，“ISSN”：【“0302-9743”，”1611-3349“】，“ISSN-type”：[{“type”:“print”，“value”：“0302-7743”}，{“类型”：“electronic”，“值”：“1611-3399”}]，“主题”：[]，“发布”：{“日期部分”：[[2012]]}}