{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,2,15]]，“日期时间”：“2023-02-15T16:12:51Z”，“时间戳”：1676477571119}，“发布者位置”：“Cham”，“引用计数”：7，“发布商”：“Springer International Publishing”，“isbn-type”：[{“值”：“9783319234038”，“类型”：”打印“}，{“值”：“9783319234045”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2015,1,1]]，“date-time”：“2015-01-01T00:00:00Z”，“timestamp”：1420070400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springernature.com\/gp\/researters\/text-and-data-mining”}，{“开始”：{“date-ports”：[2015,1]]、“date-ti”我“：”2015-01-01T00:00:00Z“，”时间戳“：1420070400000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https://www.springernature.com//gp\/researters\/text-and-data-mining”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，”short-container-title“：[]，”published-print“：{”date-parts“：[2015]]}”，“DOI”：“10.1007\/978-3-19 23404-5_11“，”type“：”book-chapter“，“created”：{“date-parts”：[[2015,8,26]]，“date-time”：“2015-08-26T00:57:19Z”，“timestamp”：1440550639000}，“page”：“153-159”，“update-policy”：”http://\/dx.doi.org\/10.1007\/springer_crossmark_policy“，”source“：”Crossref“，“is-referenced-by-count”：5，“title”：[“使用基于松弛的距离函数对PROMELA进行定向模型检查”]，“prefix”：“10.1007”，“作者”：[{“given”：“Ahmad Siyar”，“family”：“Andisha”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Martin”，“家庭”：“Wehrle”，“序列”：“additional”，“abfiliation“：[]neneneep，{”given“：”Bernd“，”family“：”Westphal“，”sequence“：”additional“，”affiliance“：[]}]，“member”：“297”，“published on line”：{“date-parts”：[2015，8,27]]}，“引用”：[{“键”：“11_CR1”，“非结构化”：“http://www.informatik.uni-freiburg.de\/~westphal\/spin15”}，{“问题”：“1\u20132”，“关键字”：“11_CR2”，“首页”：“5”，“卷”：“129”，“作者”：“B Bonet”，“年份”：“2001”，“非结构”：“Bonet，B.，Geffner，H.：规划为启发式搜索。AIJ 129（1\u2013），5\u201333（2001）”，“新闻标题”：“AIJ”}，{“问题”：“1\u20132”，“密钥”：“11_CR3”，“首页”：“165”，“卷”：“69”，“作者”：“T Bylander”，“年份”：“1994”，“非结构化”：“Bylander，T.：命题STRIPS规划的计算复杂性。AIJ 69（1\u20132），165\u2013204（1994）”，“期刊标题”：“AIJ”}，{“问题”：“2\u20133”，“密钥”：“11_CR4”，“doi-asserted-by”：“publisher”，”首页“247”，“doi”：“10.1007”s10009-002-0104-3“，“volume”：“5”，“author”：“S Edelkamp”，“year”：“2004”，“unstructured”：“Edelkamp.S.，Leue，S.，et al.：通信协议验证中的定向显式状态模型检查。STTT 5（2\u20133），247\u2013267（2004）”，“journal-title”：“STTT”}，{“key”：《11_CR5》，“series-title”：《计算机科学讲义》，“doi-asserted-by”：“publisher”，“首页”：“35”，“DOI”：“10.1007\/11691617_3”，“volume-title”：“模型检查软件”，“author”：“S Kupferschmid”，“year”：“2006”，“unstructured”：“Kupferschmid，S.，Hoffmann，J.，Dierks，H.，Behrmann，G.：将人工智能规划启发式应用于定向模型检查。In:Valmari，A.（ed.）SPIN 2006。LNCS，第3925卷，第35页\u201352。Springer，Heidelberg（2006）“}，{“key”：“11_CR6”，“series title”：“计算机科学讲义”，“doi断言者”：“出版商”，“首页”：“552”，“doi”：“10.1007\/978-3-540-70545-1_53”，“卷标题”：“计算机辅助验证”，“作者”：“S Kupferschmid”，“年份”：“2008”，“非结构化”：“Kupferschmid，S.，Wehrle，M.，Nebel，B.，Podelski，A.：比Uppaal更快？收录：Gupta，A.，Malik，S.（编辑）CAV 2008。LNCS，第5123卷，第552\u2013555页。Springer，Heidelberg（2008）“}，{”key“：”11_CR7“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“263”，”doi“：”10.1007\/978-3-540-73370-6_17“，“volume-title”：“模型检查软件”，“author”：“R Pel\u00e1nek”，“year”：“2007”，“unstructured”：“Pel\u00e1nek，R.:BEEM：显式模型检查器的基准。收录人：Bo\u0161na\u010dki，D.，Edelkamp，S.（编辑）SPIN 2007。LNCS，第4595卷，第263\u2013267页。Springer，Heidelberg（2007）“}”，“container-title”：[“模型检查软件”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“https:\/\/link.Springer.com/content\/pdf\/10007\/978-3319-23404-5_11”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{date-parts“：[[2023,2,15]]，“date-time”：“2023-02-15T15:43:31Z”，“timestamp”：1676475811000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/link.springer.com\/10.1007\/978-3319-23404-5_11”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts.“：[2015]]}”，“ISBN”：[“9783319234038”，“9783319234045”]，“references-count”：7，“URL”：“http:\/\/dx.doi.org\/10.1007\/978-3-319-23404-5_11“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”03029743“，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”subject“：【】，”published“：{”date-parts“：【2015】】}，“assertion”：【{”值“：”27 2015年8月“，”订单“：1，”名称“：”first_online“，”标签“：”first online“，“group”：{“name“：”ChapterHistory“，”label“：”章节历史“}}]}}