{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,4]，“日期时间”：“2022-04-04T19:24:21Z”，“时间戳”：1649100261786}，“出版商位置”：“柏林，海德堡”，“参考计数”：23，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540472377”，“类型”：“打印”}，{“值”：“9783540472384”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2006]]}，”DOI“：”10.1007\/11901914_10“，”type“：”book-chapter“，”created“：”{“date-part”：[2006,10,10]]，“date-time”：“2006-10T05:21:43Z”，“时间戳”：1160457703000}，“页面”：“96-109”，“源”：“Crossref”，“被count引用”：1，“title”：[“On the Membership Problem for Visiblely Pushdown Languages”]，“prefix”：“10.1007”，“author”：[｛”given“：”Salvatore“，”family“：”La Torre“，”sequence“：”first“，”affiliation“：[]｝，”given“：”Margherita“，”family“：”Napoli“，”sequence“：”additional“，”affiliation“：[]｝，”given“：”Mimmo“，”family“：”Parente“，”sequence“：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“10_CR1”，“volume-title”：“解析、翻译和编译理论”，“author”：“A.Aho”，”year“：“1973”，“unstructured”：“Aho，A.，Ullman，J.：《解析、翻译与编译理论》，vol.\u00a0I.Prentice-Hall，Englewood Cliffs（1973）”}，{“issue”：“4”，“key“：”10_CR2“”，“doi-asserted-by”：“publisher”，“first page”：“786”，“doi”：“10.1145\/1075382.1075387”，“volume”：”27“，“author”：“R.Alur”，”year“：”2005“，“unstructured”：“Alur，R.，Benedikt，M.，Etessami，K.，Godefroid，P.，Reps，T.W.，Yannakakakakis，M.：递归状态机分析。ACM Trans.Program.Lang.Syst.\u00a027（4），786\u2013818（2005）”，“新闻标题”：“ACM Trans.Program.Lang.Syst.”}，{“key”：“10_CR3”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”1102“，“doi”：“10.1007\/11523468_89”，“volume-title”：”Automata，Languages and Programming“，”author“：”R.Alur“，”year“：”2005“unstructured”：“Alur，R.，Kumkar，V.，Madhusudan，P.，Viswanathan，M.：可视下推语言的同义词。收录于：Caires，L.，Italiano，G.F.，Monteiro，L.、Palamidessi，C.，Yung，M.（编辑）ICALP 2005。LNCS，卷\u00a03580，第1102\u20131114页。Springer，Heidelberg（2005）“}，{“key”：“10_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Alur，R.，Madhusudan，P.：可视下推语言。In：第36届ACM计算理论交响曲（STOC 2004），第201\u2013211页（2004），www.cis.upenn.edu\/~Alur\/”，“doi”：“10.1145\/1007352.1007390”}，}“key”：“10-CR5”“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：”113“，“doi”：“10.1007\/10722468_7”，“volume-title”：“SPIN模型检查和软件验证”，“author”：“T.Ball”，“year”：“2000”，“unstructured”：“Ball，T.，Rajamani，S.：Bebop:布尔程序的符号模型检查器。收录：Havelund，K.，Penix，J.，Visser，W.（编辑）SPIN 2000。LNCS，第00a01885卷，第113页\u2013130。Springer，Heidelberg（2000）“}，{”key“：”10_CR6“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“3”，”doi“：”10.1007\/3-540-45711-9_1“，“volume-title”：“形式与自然计算”，“author”：“J.Berstel”，“year”：“2002”，“unstructured”：“Berstel，J.，Boasson，L.：平衡语法及其语言。收录：Brauer，W.、Ehrig，H.、Karhum\u00e4ki，J.、Salomaa，A.（编辑）《形式与自然计算》。LNCS，第u00a02300卷，第3\u201325页。Springer，Heidelberg（2002）“}，{”key“：“10_CR7”，”doi-asserted-by“：”publisher“，”first page“：”649“，”doi“：”10.1007\/s00236-002-0085-4“，”卷“：”38“，”作者“：”J.Berstel“，”年份“：”2002“，”非结构化“：”Berstel，J.，Boasson，L.：XML语法和语言的形式属性。信息学报\u00a038，649\u2013671（2002）”，“新闻标题”：“信息学报“}，{”key“：”10_CR8“，”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“：”10_CR9“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“123”，”doi“：”10.1007\/BFb0084787“，”volume-title“：“CONCUR\u201992”，”author“：”O.Burkart“，“year”：“1992”，“unstructured”：“Burkart，O.，Steffen，B.：无上下文过程的模型检查。收录：Cleaveland，W.R.（编辑）CONCUR 1992。LNCS，第u00a0630卷，第123\u2013137页。Springer，Heidelberg（1992）“}，{”key“：”10_CR10“，”doi-asserted-by“：”publisher“，”first page“：“247”，“doi”：“10.1016\/0020-0190（88）90148-2”，“volume”：“26”，“author”：“P.W.Dymond”，“year”：“1988”，“unstructured”：“Daymond，P.W.：在Log Space中识别输入驱动语言。IPL\u00a026，247\u2013250（1988）”，“日志标题”：“IPL L“}，{“问题”：“2”，“密钥”：“10_CR11“，”doi-asserted-by“：”publisher“，”first page“：”355“，”doi“：”10.1016\/S0890-5401（03）00139-1“，”volume“：“186”，”author“：”J.Esparza“，“year”：“2003”，”unstructured“：”Esparza.，J.，Kucera，A.，Schwoon，S.：用推下系统的定期估值检查LTL模型。信息与计算\u00a0186（2），355\u2013376（2003）“，”journal-title“：”Information and Computation“}，{“key”：“10_CR12”，“doi-asserted-by”：“publisher”，“first-page”：“1”，“doi”：“10.1016\/S0022-0000（67）80003-5”，“volume”：”1“，“author”：“S.Ginsburg”，《年份》：“1967”，“非结构化”：“Ginsbug，S.，Harrison，M.A.：带括号的上下文无关语言。计算机与系统科学。\u00a01，1\u201323（1967）“，”期刊标题“：”计算机与系统科学杂志。“}，{”key“：”10_CR13“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“526”，“doi”：“10.1007 \/3-540-45657-0_45”，“volume-title”：“计算机辅助验证”，“author”：“T.A.Henzinger”，“年份”：“2002”，“非结构化”：“Henzinger，T.A.、Jhala，R.、Majumdar，R.，Necula，G.C.、Sutre，G.、Weimer，W.：系统代码的临时安全证明。收录：Brinksma，E.，Larsen，K.G.（编辑）CAV 2002。LNCS，卷\u00a02404，第526\u2013538页。Springer，Heidelberg（2002）“}，{“key”：“10_CR14”，“volume-title”：“自动机理论、语言和计算导论”，“author”：“J.E.Hopcroft”，“year”：“2001”，“unstructured”：“Hopcroff，J.E.，Motwani，R.，Ullman，J.D.：自动机理论，语言和计算简介。Addison-Wesley，Reading（2001）”}doi-asserted-by“：”publisher“，”first-page“：”269“，”doi“：”10.1016\/S0019-9958（67）90564-5“，”volume“：”11“，”author“：”D.E.Knuth“，”year“：”1967“，”unstructured“：”Knuth，D.E.：括号语言的特征。Information and Control\u00a011（3），269\u2013289（1967）“，”journal-title“：”Information and Control“}，{“key”：“10_CR16”，“unstructured”：“Kumkar，V.，Madhusudan，P.，Viswanathan，M.：XML的可视下推语言。技术报告UIUCDCS-R-2006-2704，UIUC（2006）“}DOI“：”10.1145\/322033.222037“，”volume“：”24“，”author“：”N.Lynch“，”year“：”1977“，”unstructured“：”Lynch，N.：日志空间识别和括号语言的转换。J.ACM\u00a024（4），583\u2013590（1977）“，”journal-title“：”J.ACM“}，{”issue“：”3“，”key“：”10_CR18“，”doi-asserted-by“：”publisher“，”first-page“：”490“，”doi“：”10.1145 \/321406.321411“，”volume“：\u00a014（3），490\u2013500（1967）“，”期刊标题“：”J.ACM“}，{“key”：“10_CR19”，“doi asserted by”：“crossref”，“nonstructured”：“Reps，T.W.，Horwitz，S.，Sagiv，S.：通过图形可达性进行精确的过程间数据流分析。In：程序。第22届程序设计语言原理研讨会（POPL 1995），第49\u201361页（1995）“，”DOI“：”10.1145\/199448.199662“}，{”key“：”10_CR20“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”crossref“，”first page“：“1”，”DOI:“10.1007\/3-540-60275-5”，”volume-title“：“STACS 95”，”author“：”W.Thomas“，”year“：”1995“，”非结构化“：”Thomas，W.：关于无限游戏中策略的综合。在：Mayr，E.W.，Puech，C.（编辑）STACS 1995。LNCS，第u00a0900卷，第1\u201313页。Springer，Heidelberg（1995）“}，{”key“：”10_CR21“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”first page“：“40”，”doi“：”10.1007\/3-540-12689-9_92“，”volume-title“：“计算理论基础”，“author”：“B.Braunmhl von”，“year”：“1983”，“unstructured”：“von Braunmhl，B.，Verbeek，R.：输入驱动语言在Log n空间中被识别。收录：Karpinski，M.（编辑）FCT 1983。LNCS，第u00a0158卷，第40\u201351页。Springer，Heidelberg（1983）“}，{”key“：”10_CR22“，”unstructured“：”W3C Recommendation.Extensible Markup Language（XML）1.0，第2版。（2000年10月6日），http://www.w3.org \/TR \/REC-XML“}”，{“key”：“10_CR23”，“unstructure”：“W3C建议书.XML模式第0、1和2部分（2001年5月2日），http://www.w3.org\/TR\/xmlschema-0,1,2”}]，“container-title”：[“计算机科学课堂讲稿”，“用于验证和分析的自动化技术”]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/11901914_10”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2019,4,21]]，“date-time”：2019-04-21T15:22:57Z“，”timestamp“：1555860177000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/link.springer.com/10.1007\/11901914_10”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2006]]}，‘ISBN’：[”9783540472377“，”97835472384“]，”references-count“：23，”URL“：”http://\/dx.doi.org\/10.1007\/11901914_10“，”关系“：{}，”ISSN“：[”0302-9743”，“1611-3349”]，“issn type”：[｛“value”：“0302-9743”，“type”：“print”｝，｛“value”：“1611-3349”，“type”：“electronic”｝]，“subject”：[]，“published”：｛“date parts”：[[2006]]｝｝