{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,12,31]]，“日期时间”：“2022-12-31T07:11:55Z”，“时间戳”：1672470715954}，“出版商位置”：“柏林，海德堡”，“参考计数”：20，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540405245”，“类型”：“打印”}，{“值”：“9783540450696”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2003,1,1]]，“date-time”：“2003-01-01T00:00:00Z”，“timestamp”：1041379200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]，“short-container-title”：[]，“published-print”：{“date-parts”：[[2003]]｝，“DOI”：“10.1007\/978-3-540-45069-6_6”，“type”：“书籍章节”，“created”：{“日期部分”：[[2010,6,22]]，“日期-时间”：“2010-06-22T21:11:46Z”，“时间戳”：1277241106000｝，“page”：“67-79”，“source”：“Crossref”，“由计数引用”：10，“title”：[“递归图上无限游戏的模块化策略”]，“prefix”：“10.1007”，“author”：[{“given”：“Raj eev”，“family”：“Alur”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Salvatore”，”family“：”La Torre“，”sequence“：”additional“，”affiliance“：[]{”given“：”P.“，”faily“：“Madhusudan”，“sequence”:“additional”，“faliation”:[]}]，“member”：“297”，“reference”：[{“key”：”6_CR1“，“series-title”：“计算机科学课堂笔记”，“doi由“：”publisher“提供，“first page”：“207”，“DOI”：“10.1007\/3-540-44585-4_18”，“volume-title”：“计算机辅助验证”，“author”：“R.Alur”，“year”：“2001”，“unstructured”：“Alur，R.，Etessami，K.，Yannakakakis，M.：递归状态机分析。In：Berry，G.，Comon，H.，Finkel，A.（eds.）CAV 2001。LNCS，卷\u00a02102，第207\u2013220页。Springer，Heidelberg（2001）“}，{“问题”：“5”，“关键”：“6_CR2”，“doi-asserted-by”：“出版商”，“首页”：“1”，“doi”：“10.1145\/585265.5852270”，“卷”：“49”，“作者”：“R.Alur”，“年份”：“2002”，“非结构化”：“Alur，R.，Henzinger，T.，Kupferman，O.：交替时间逻辑。ACM\u00a049（5），1\u201342（2002）“，”新闻标题“：”美国计算机学会杂志“}，{”key“：”6_CR3“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“363”，”doi“：”10.1007\/3-540-36577-X_26“，”volume-title“：“系统构建和分析的工具和算法”，“author”：“R.Alur”，“year”：“2003”，“unstructured”：“Alur，R.，La Torre，S.，Madhusudan，P.：递归游戏图的模块化策略。收录：Garavel，H.，Hatcliff，J.（编辑）TACAS 2003。LNCS，第00a02619卷，第363\u2013378页。Springer，Heidelberg（2003）“}，{”key“：”6_CR4“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“260”，”doi“：”10.1007\/3-540-44585-4_25“，”volume-title“：“计算机辅助验证”，”author“：”T.Ball“，”year“：”2001“，”unstructured“：”Ball，T.、Rajamani，S.：SLAM工具包。收录：Berry，G.，Comon，H.，Finkel，A.（编辑）CAV 2001。LNCS，卷\u00a02102，第260\u2013264页。Springer，Heidelberg（2001）“}，{”key“：”6_CR5“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“652”，”doi“：”10.1007\/3-540-48224-5_54“，”volume-title“：“自动化、语言和编程”，”author“：”M.Benedikt“，“年份”：“2001”，“非结构化”：“Benedikt，M.，Godefroid，P.，Reps，T.W.：无限制分层状态机的模型检查。收录人：Orejas，F.、Spirakis，P.G.、van Leeuwen，J.（编辑）ICALP 2001。LNCS，第u00a02076卷，第652\u2013666页。Springer，Heidelberg（2001）“}，{”key“：”6_CR6“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“135”，”doi“：”10.1007\/3-540-63141-0_10“，”volume-title“：“CONCUR\u201997:并发理论”，“author”：“A.Bouajjani”，“year”：“1997”，“unstructured”：“Bouajjani，A.，Esparza，J.，Maler，O.：下推自动机的可达性分析：应用于模型检查。收录：Mazurkiewicz，A.，Winkowski，J.（编辑）CONCUR 1997。LNCS，第u00a01243卷，第135\u2013150页。Springer，Heidelberg（1997）“}，{”key“：“6_CR7”，”doi-asserted-by“：”publisher“，”first page“：”295“，”doi“：”10.2307\/1994916“，”volume“：‘138’，”author“：”J.B\u00fcchi“，“year”：“1969”，“unstructured”：“B\u00 fcchi，J.，Landweber，L.：用有限状态策略求解序列条件。Trans.Amer.Math.Soc.\u00a0138，295\u2013311（1969年）“，”新闻标题“：”事务处理。阿默尔。数学。Soc.“｝，｛”key“：”6_CR8“，”series title“：”计算机科学讲义“，”doi断言“：”publisher“，”首页“：”704“，”doi“：”10.1007\/3-540-445465-9_60“，”卷标题“：”自动机，语言与编程“，”作者“：”T.Cachat“，”年份“：”2002“，”非结构化“：”Cachat，T.：下推图游戏的符号策略合成。收录人：Widmayer，P.、Triguero，F.、Morales，R.、Hennessy，M.、Eidenbenz，S.、Conejo，R.（编辑）ICALP 2002。LNCS，第u00a02380卷，第704\u2013715页。Springer，Heidelberg（2002）“}，{”key“：”6_CR9“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“303”，“doi”：“10.1007\/3-540-36387-4_17”，“volume-title”：“Automata，Logics，and Infinite Games”，“author”：“T.Cachat”，“year”：“2002”，“unstructured”：“Cachat，T.：双向树自动机解决推下游戏。收录：Gr\u00e4del，E.，Thomas，W.，Wilke，T.（编辑）《自动化、逻辑和无限游戏》。LNCS，第u00a02500卷，第303\u2013317页。Springer，Heidelberg（2002）“}，{”key“：”6_CR10“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“428”，“doi”：“10.1007\/3-540-45657-0_35”，“volume-title”：“计算机辅助验证”，“author”：“A.Chakrabarti”，“year”：“2002”，“unstructured”：“Chakrabarti，A.、de Alfaro，L.、Henzinger，T.、Jurdzinski，M.、Mang，F.：软件模块的接口兼容性检查。收录：Brinksma，E.，Larsen，K.G.（编辑）CAV 2002。LNCS，卷\u00a02404，第428\u2013441页。Springer，Heidelberg（2002）“}，{“key”：“6_CR11”，“doi-asserted-by”：“crossref”，“unstructured”：“Chen，H.，Wagner，D.：MOPS：用于检查软件安全属性的基础设施。In:Proc.9th ACM Conf.on Comp.and Comm.security（2002年）”，“doi”：“10.1145\/586110.586142”}，“{”key“：”6_CR12“series-title”：“计算机科学课堂讲稿”doi断言者：“publisher”，“first page”：“232”，“doi”：“10.1007\/10722167_20”，“volume title”：“Computer Aided Verification”，“author”：“J.Esparza”，“year”：“2000”，“nonstructured”：“Esparza，J.，Hansel，D.，Rossmanith，P.，Schwoon，S.：模型检查下推系统的有效算法。摘自：艾默生，E.A.，西斯特拉，A.P.（编辑）CAV 2000。LNCS，卷\u00a01855，第232\u2013247页。Springer，Heidelberg（2000）“}，{”key“：”6_CR13“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“36”，”doi“：”10.1007\/10722167_7“，”volume-title“：“计算机辅助验证”，”author“：”O.Kupferman“，”year“：”2000“，”unstructured“：”Kupferman，O.，Vardi，M.：推理无限状态系统的自动机理论方法。摘自：艾默生，E.A.，西斯特拉，A.P.（编辑）CAV 2000。LNCS，第u00a01855卷，第36\u201352页。Springer，Heidelberg（2000）“}，{”issue“：”2“，”key“：”6_CR14“，”doi-asserted-by“：”publisher“，”first page“：“322”，”doi“：”10.1006\/inco.2000.2893“，”volume“：2001）“，”新闻标题“：”信息与计算“}，{“key”：“6_CR15”，“doi-asserted-by”：“crossref”，“unstructured”：“Pnueli，A.：程序的时序逻辑。In:第18届IEEE计算机科学基础研讨会论文集，第46\u201377（1977）页”，“doi”：“10.1109\/SFCS.1977.32”}Pnueli，A.，Rosner，R.：关于反应模的合成。In：程序。第十六届ACM程序设计语言原理研讨会（1989）”，“DOI”：“10.1145\/75277.75293”}，{“key”：“6_CR17”，“series-title”：“计算机科学讲义”，“DOI-asserted-by”：“publisher”，“first page”：”58“，“DOI:”10.1007\/3-540-45657-0_5“，“volume-title”：”计算机辅助验证“，“author”：“W.Thomas”，“year”：“2002”，“unstructured”：“托马斯：无限游戏和验证。收录：Brinksma，E.，Larsen，K.G.（编辑）CAV 2002。LNCS，第00a02404卷，第58\u201364页。Springer，Heidelberg（2002）“}，{”key“：”6_CR18“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“628”，”doi“：”10.1007\/BFb0055090“，”volume-title“：“自动化、语言和编程”，”author“：”M.Vardi“，”year“：”1998“，”unstructured“：”瓦迪，M.：用双向自动机推理过去。收录：Larsen，K.G.，Skyum，S.，Winskel，G.（编辑）ICALP 1998。LNCS，第u00a01443卷，第628\u2013641页。Springer，Heidelberg（1998）“}，{”key“：“6_CR19”，”doi-asserted-by“：”publisher“，”first page“：”1“，”doi“：”10.1006\/inco.1994.1092“，”volume“:”115“，”author“：”M.Vardi“，”year“：”1994“，”unstructured“：”Vardi，M.，Wolper，P.：关于无限计算的推理。信息与计算\u00a0115，1\u201337（1994）“，”journal-title“：”信息与计算“}，{“issue”：“2”，“key”：“6_CR20”，“doi-asserted-by”：“publisher”，“first page”：《234》，“doi”：“10.1006\/inco.2000.2894”，“volume”：”164“，“author”：“I.Walukiewicz”，“year”：“2001”，“unstructured”：“Walukiewincz，I.：下推过程：游戏和模型检查。信息与计算\u00a0164（2），234\u2013263（2001）”，“”期刊标题“：“信息与计算”}]，“容器标题”：[“计算机科学讲义”，“计算机辅助验证”]，“原标题”：[]，“链接”：[{“URL”：“http:\/\/link.springer.com\/content/pdf\/10.1007\/978-3-540-45069-6_6”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用”：“相似性检查”}]存放“：{“date-parts”：[[2020,1,29]]，“date-time”：“2020-01-29T22:09:33Z”，“timestamp”：1580335773000}，“score”：1，“resource”：{（主要）：{”URL“：”http://\/link.springer.com\/10.1007\/978-3-540-45069-6_6“}}，”副标题“：[]，”短标题“：[]，“issued”：{“date-ports”：[2003]]}，，“ISBN”：[“978383]540405245“，”9783540450696“]，”references-count“：20，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-540-45069-6_6“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”值“：”0302-7743“”，“type”：“print”}，{”价值“：”1611-33049“，”类型“：”电子“}]，”主题“：[]，”发布“：{”日期段“：[2003]]}}}}