｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2023,9,4]]，“日期-时间”：“2023-09-04T19:54:54Z”，“时间戳”：1693857294956｝，“发布者位置”：“柏林，海德堡”，“引用计数”：33，“发布者”：“施普林格-柏林-海德堡”，“isbn类型”：[｛“值”：“9783642315848”，“类型”：“打印”｝，｛“值”：“9783642315855”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2012]]}，”DOI“：”10.1007\/978-3642-31585-5_18“，”type“：”book-capter“，”created“：”{“date-part”：[2012,6,23]]，“date-time”：“2012-06-23T11:56:2 9Z“，”时间戳“：1340452589000}，”页面“：”165-176“，“source”：“Crossref”，“is-referenced-by-count”：23，“title”：[“可折叠下推系统的饱和方法”]，“prefix”：“10.1007”，”author“：[{”given“：”Chris“，”family“：”Broadbent“，”sequence“：”first“，”affiliation“：[]}，{”Givent“：”Arnaud“：“additional”，“affiliation”：[]｝，｛“given”：“Olivier”，“family”：“Serre”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“297”，“reference”：[｛“key”：“18_CR1”，“nonstructured”：“Atig，M.F.：有序多下推系统的全局模型检查。In：FSTTCS，pp.216\u2013227（2010）”｝，｛“key”：“18_CR2”，“doi asserted by”：“crossref”，“nonstructured”：“Ball，T.，Rajamani，S.K.：SLAM项目：通过静态分析调试系统软件。摘自：POPL，pp.1\u20133（2002）”，“DOI”：“10.1145\/565816.503274”}，{“key”：“18_CR3”，“unstructured”：“Benois，M.：Parties rationnelles du groupe libre.Comptes-Rendus de l\u2019Acamd\u00e9mie des Sciences de Paris，S\u00e9 rie A，1188\u20131190（1969）”}、{“key”：“18_CR4”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“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“：”18_CR5“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“135”，“doi”：“10.1007\/978-3-540-30538-5_12”，“volume-title”：“FSTTCS 2004:软件技术和理论计算机科学基础”，“author”：“A.Bouajjani”，“year”：“2004”，“unstructured”：“”Bouajjani，A.，Meyer，A.：高阶上下文无关过程的符号可达性分析。收录：Lodaya，K.，Mahajan，M.（编辑）FSTTCS 2004。LNCS，卷\u00a03328，第135页\u2013147。Springer，Heidelberg（2004）“}，{“key”：“18_CR6”，“doi-asserted-by”：“crossref”，“unstructured”：“Broadbent，C.H.，Carayol，A.，Ong，C.-H.L.，Serre，O.：递归方案和逻辑反射。In:LiCS，pp.120\u2013129Cachat，T.：关于下推图和扩展的游戏。博士论文，RWTH Aachen（2003）“}，{“key”：“18_CR8”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”168“，“doi”：“10.1007”\/11549345_16“，”volume-title“：”Mathematical Foundations of Computer Science 2005“，”author“A.Carayol”，“year”：“2005”，“unstructured”：“Carayol，A.：高阶下推堆栈的规则集。收录：Jedrzejowicz，J.，Szepietowski，A.（编辑）MFCS 2005。LNCS，第u00a03618卷，第168\u2013179页。Springer，Heidelberg（2005）“}，{”key“：”18_CR9“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“112”，”doi“：”10.1007\/978-3-540-24597-1_10“，”volume-title“：“FST TCS 2003:软件技术和理论计算机科学基础”，“author”：“A.Carayol”，“year”：“2003”，“unstructured”：“”Carayol，A.，W\u00f6hrle，S.：逻辑和高阶下推自动机方面无限图的Caucal层次。收录人：Pandya，P.K.，Radhakrishnan，J.（编辑）FSTTCS 2003。LNCS，第u00a02914卷，第112\u2013123页。Springer，Heidelberg（2003）“}，{“问题”：“1”，“关键”：“18_CR10”，“doi-asserted-by”：“出版商”，“首页”：“114”，“doi”：“10.1145\/322234.32243”，“卷”：“28”，“作者”：“A.K.Chandra”，“年份”：“1981”，“非结构化”：“Chandra，A.K.，Kozen，D.，Stockmeyer，L.J.：Alternation.J.ACM\u00a028（1），114\u2013133（1981）”，“journal-title“：”J.ACM“}，{”key“：”18_CR11“，”doi-asserted-by“：”publisher“，”first-page“：”95“，”doi“：”10.1016\/0304-3975（82）90009-3“，”volume“：”20“，”author“：”W.Damm“，”year“：”1982“，”unstructured“：”Damm，W.：IO和OI层次结构。西奥。计算。科学。\u00a020，95\u2013207（1982）“，”新闻标题“：”Theor。计算。科学。“}，{”key“：”18_CR12“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“232”，“doi”：“10.1007\/10722167_20”，“volume-title”：“计算机辅助验证”，“author”：“J.Esparza”，”year“：”2000“，”unstructured“：”Esparza，J.，Hansel，D.，Rossmanith，P.，Schwoon，S.：模型检查下推系统的有效算法。摘自：艾默生，E.A.，西斯特拉，A.P.（编辑）CAV 2000。LNCS，卷\u00a01855，第232\u2013247页。Springer，Heidelberg（2000）“}，{”key“：”18_CR13“，”doi-asserted-by“：”publisher“，”first page“：“27”，“doi”：“10.1016\/S1571-0661（05）80426-8”，“volume”：“9”，“author”：“A.Finkel”，“year”：“1997”，“unstructured”：“Finkel，A.，Willems，B.，Wolper，P.：模型检查下推系统的直接符号方法。选举人。注释Theor。计算。科学。\u00a09，27\u201337（1997）“，“新闻标题”：“选举。注释Theor。计算。科学。“}，{”key“：”18_CR14“，”doi-asserted-by“：”crossref“，”unstructured“：”Hague，M.，Murawski，A.S.，Ong，C.-H.L.，Serre，O.：可折叠下推自动机和递归方案。收录于：LiCS，pp.452\u2013461（2008）“，”doi“：”10.1109\/LiCS.2008.34“}、{”key“：Hague，M.，Ong，C.-H.L.：高阶下推系统的符号后向可达性分析。《计算机科学中的逻辑方法4（4）（2008）》，“DOI”：“10.2168\/LMCS-4（4:14）2008”}，｛“key”：“18_CR16”，“series title”：“计算机科学讲义”，“DOI断言”：“publisher”，“first page”：“187”，“DOI”：“10.1007\/978-3-642-16164-3_14”，“volume title”：“Model Checking Software”，“author”：“M.Hague”，“year”：“2010”，“nonstructured”：“Hague，M.，Ong，C.-H.L.：分析下推系统的Mu-Calculus特性。摘自：van de Pol，J.，Weber，M.（编辑）SPIN 2010。LNCS，第u00a06349卷，第187\u2013192页。Springer，Heidelberg（2010）“}，{”issue“：”5“，”key“：”18_CR17“，”doi-asserted-by“：”publisher“，”first page“：“799”，“doi”：“10.1016\/j.ic.2010.12.004”，“volume”：“209”，”author“：”M.Hague“，”year“：”2010“，”unstructured“：”Hague，M.，Ong，C.-H.L.：下推系统上模态\u03bc-calculus的饱和方法。Inf.Compute.\u00a0209（5），799\u2013821（2010）“，”journal-title“：”信息计算。“｝，｛”key“：”18_CR18“，”doi asserted by“：”crossref“，”非结构化“：”Kartzow，A.，Parys，P.：可折叠下推层次结构的严格性。arXiv:1201.3250v1[cs.FL]（2012）“，”doi“：”10.1007\/978-3-642-32589-2_50“｝，｛”key“：”18_CR19“，”系列标题“：”计算机科学讲义“，”doi asserted by“：”publisher“，”首页“：”205“，”doi“：”10.1007\/3-540-45931-6_15“，“volume-title”：“软件科学和计算结构基础”，“author”：“T.Knapik”，“year”：“2002”，“unstructured”：“Knapig，T.，Niwi\u0144ski，D.，Urzyczyn，P.：高阶下推树很容易。收录：Nielsen，M.，Engberg，U.（编辑）FOSSACS 2002。LNCS，vol.\u00a02303，pp.205\u2013222。Springer，Heidelberg（2002）“}，{”key“：”18_CR20“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“1450”，”doi“：”10.1007\/11523468_117“，”volume-title“：“Automata，Languages and Programming”，”author“：”T.Knapik“，”year“：”2005“，”unstructured“：”Knapik，T.、Niwi\u0144ski，D.、Urzyczyn，P.、Walukiewicz，I.：不安全语法和恐慌自动机。收录人：Caires，L.、Italiano，G.F.、Monteiro，L.，Palamidessi，C.、Yung，M.（编辑）ICALP 2005。LNCS，卷\u00a03580，第1450\u20131461页。Springer，Heidelberg（2005）“}，{”key“：”18_CR21“，”doi-asserted-by“：”crossref“，”unstructured“：”Kobayashi，N.：“高阶模型检验：从理论到实践。收录于：LiCS，pp.219\u2013224（2011）“，”doi“：”10.1109\/LiCS.2011.15“}”，{“key”：“18_CR22”，“series-title”：“计算机科学课堂讲稿”，“doi-assert-by”：“publisher”，“首页”：“260”，“DOI“：”10.1007\/978-3-642-19805-2_18“，”volume-title“：”软件科学和计算结构基础“，”author“：”N.Kobayashi“，”year“：”2011“，”unstructured“：”Kobayash，N.：“高阶递归格式的平凡自动机模型检查的实用线性时间算法。摘自：Hofmann，M.（编辑）FOSSACS 2011。LNCS，卷\u00a06604，第260\u2013274页。Springer，Heidelberg（2011）“}，{”key“：”18_CR23“，”first page“：“1170”，“volume”：“15”，“author”：“A.N.Maslov”，“year”：“1976”，“unstructured”：“Maslov，A.N.：多层堆栈自动机。信息传输问题\u00a015，1170\u20131174（1976）”，“journal-title”：“信息传输问题”}，}”key:“18_CR24”，“非结构化”：“Ong，C.-H.L.：关于由高阶递归方案生成的模型检查树。In：LiCS，pp.81\u201390（2006）“}，{“key”：“18_CR25”，“doi-asserted-by”：“crossref”，“unstructured”：“Ong，C.-H.L.，Ramsay，S.J.：用模式匹配的代数数据类型验证高阶函数程序。In：POPL，pp.587\u2013598（2011）”，“doi”：“10.1145\/1925844.1926453”}Parys，P.：折叠操作增加了确定性高阶下推自动机的表达能力。收录于：STACS，第603\u2013614（2011）页“}，{“问题”：“1-2”，“关键”：“18_CR27”，“doi-asserted-by”：“出版商”，“首页”：“206”，“doi”：“10.1016\/j.scico.2005.02.009”，“卷”：“58”，“作者”：“T.W.Reps”，“年份”：“2005”，“非结构化”：“Reps，T.W.、Schwoon，S.、Jha，S.和Melski，D.：加权下推系统及其在程序间数据流分析中的应用。科学。计算。程序。\u00a058（1-2），206\u2013263（2005）“，“新闻标题”：“科学。计算。程序。“}，{”key“：”18_CR28“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“162”，”doi“：”10.1007\/978-3642-22012-8_12“，”volume-title“：“自动化、语言和编程”，”author“：”S.Salvati“，”year“：”2011“，”unstructured“：”Salvati，S.，Walukiewicz，I.：Krivine机器和高阶方案。收录：Aceto，L.、Henzinger，M.、Sgall，J.（编辑）ICALP 2011，第二部分。LNCS，第u00a06756卷，第162\u2013173页。Springer，Heidelberg（2011）“}，{“key”：“18_CR29”，“unstructured”：“Schwoon，S.：模型检查下推系统。慕尼黑工业大学博士论文（2002）”}，“{“键”：“18 _CR30”，“非结构化”：“Seth，A.：二阶下推系统符号可达性分析中的替代结构。摘自：RP，pp.80\u201395（2007）”}.，{series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：”203“，“doi”：“10.1007\/978-3642-04420-5_19”，“volume-title”：“可达性问题”，“author”：“A.Seth”，“year”：“2009”，“unstructured”：“Seth，A.：高阶多层下推系统上的游戏。收录：Bournez，O.，Potapov，I.（编辑）RP 2009。LNCS，卷\u00a05797，第203\u2013216页。Springer，Heidelberg（2009）“}，{”key“：”18_CR32“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“270”，”doi“：”10.1007\/978-3-540-85114-1_19“，”volume-title“：“模型检查软件”，”author“：”D.Suwimonteerabbth“，”year“：”2008“，”unstructured“：”Suwimonteerabbuth，D.，Esparza，J.，Schwoon，S.：多线程Java程序的基于上下文的符号分析。收录：Havelund，K.，Majumdar，R.（编辑）SPIN 2008。LNCS，卷\u00a05156，第270页\u2013287。Springer，Heidelberg（2008）“}，{”key“：”18_CR33“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“141”，”doi“：”10.1007\/11901914_13“，”volume-title“：“自动验证和分析技术”，”author“：”D.Suwimonteerabbth“，”year“：”2006“，”unstructured“：”Suwimonteerabbith，D.，Schwoon，S.，Esparza，J.：交替下推系统的高效算法及其在证书链计算中的应用。在：Graf，S.，Zhang，W.（编辑）亚洲电视协会2006。LNCS，第u00a04218卷，第141\u2013153页。Springer，Heidelberg（2006）“}]，“container-title”：[“Automata，Languages，and Programming”，“Teach Notes in Computer Science”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10007\/978-3642-31585-5_18.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]存放“：{“date-parts”：[[2021,5,4]]，“date-time”：“2021-05-04T12:13:28Z”，“timestamp”：1620130408000}，“score”：1，“resource”：{”primary“：{“URL”：“http://\/link.springer.com/10.1007\/978-3642-31585-5_18”}}，”subtitle“：[]，”shorttitle“：[]，“issued”：{“date-ports”：[2012]}，《ISBN》：[“978364231”5848“，”9783642315855“]，”references-count“：33，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3642-31585-5_18“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743”，“type”：“print”}，{”value“：“1611-3399”，“类型”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[2012]]}}}}