{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T07:17:48Z”，“时间戳”：1725520668153}，“出版商位置”：“柏林，海德堡”，“参考计数”：23，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“9783540 894384“}，{”类型“：“electronic”，“value”：“9783540894391”}]，“license”：[{“start”：{“date-parts”：[[2008,1,1]]，“date-time”：“2008-01-01T00:00:00Z”，“timestamp”：1199145600000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]，“short-container-title”：[]，“published-print”：{“date-parts”：[[2008]]}，“DOI”：“10.1007\/978-3-540-89439-1_14”，“type”：“book-chapter”，“created”：{”date-part“：[[2008，11,15]]，“date-time”：“2008-11-15T03:03:10Z”，“timestamp”：1226718190000}，”page“：”183-197“，”source“Crossref”，“is-referenced-by-count”：3，“title”：[“关于非确定性B\u00fcchi和co-B\u00fcchi词自动机的相对简洁性”]，“前缀”：“10.1007”，“作者”：[{“给定”：“本杰明”，“家族”：“Aminof”，“序列”：“第一”，“从属”：[]}“从属关系”：[]}]，“member”：“297”，“reference”：[{“key”：“14_CR1”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，”first page“：”196“，”doi“：”10.1007\/3-540-46002-0_21“，”volume-title“：”Tools and Algorithms for the Construction and Analysis of Systems“，”author“：”R.Armoni“，”year“：”2002“，”unstructured“：“Armoni，R.、Fix，L.、Flaisher，A.、Gerth，R.，Ginsburg，B.、Kanza，T.、Landver，A.、Mador-Haim，S.、Singerman，E.、Tiemeyer，A.，Vardi，M.Y.、Zbar，Y.：ForSpec时序逻辑：一种新的时序属性专用逻辑。摘自：Katoen，J.-P.、Stevens，P.（编辑）TACAS 2002。LNCS，卷\u00a02280，第196\u2013211页。Springer，Heidelberg（2002）“}，{”key“：”14_CR2“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“363”，”doi“：”10.1007\/3-540-44585-4_33“，”volume-title“：“计算机辅助验证”，”author“：”I.Beer“，”year“：”2001“，”unstructured“：”Beer，I.，Ben David，S.，Eisner，C.，Fisman，D.，Grinshaw，A.，Rodeh，Y.：时间逻辑Sugar。收录：Berry，G.，Comon，H.，Finkel，A.（编辑）CAV 2001。LNCS，第u00a02102卷，第363\u2013367页。Springer，Heidelberg（2001）“｝，｛“key”：“14_CR3”，“nonstructured”：“B\u00fcchi，J.R.：关于限制二阶算术中的决策方法。in：Proc.Int.Congress On Logic，method，and Philosophy of Science，1960，pp.1\u201312。斯坦福大学出版社（1962）“｝，｛“key”：“14_CR4”，“doi asserted by”：“crossref”，“nonstructured”：“Emerson，E.A.，Jutla，C.：树自动机和程序逻辑的复杂性。In：Proc.29IEEE Symp.on Foundations of Computer Science，pp.328\u2013337（1988）”，“doi”：“10.1109\/SFCS.1988.21949”｝，｛“key”：“14_CR5”，“nonstructured”：“Accellera Organization Inc（2006），\n\n http://www.Accellera.org“}，{”key“：”14_CR6“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”首页“：”378“，”doi“：”10.1007\/3-540-58325-4_202“，”volume-title“：“算法与计算”，”author“：”S.C.Krishnan“，”年份“：”1994“，”非结构化”：“Krishnan，S.C.，Puri，A.，Brayton，R.K.：确定性\u03c9-自动机与确定性B\u00fcchi自动机的比较。收录人：Du，D.-Z.，Zhang，X.-S.（编辑）ISAAC 1994。LNCS，第u00a0834卷，第378\u2013386页。Springer，Heidelberg（1994）“}，{”key“：”14_CR7“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“7”，”doi“：”10.1007\/978-3-540-74915-8_5“，”volume-title“：“计算机科学逻辑”，”author“：”O.Kupferman“，”year“：”2007“，”unstructured“：”库普夫曼：收紧自动机之间的汇率。收录人：Duparc，J.，Henzinger，T.A.（编辑）CSL 2007。LNCS，第u00a04646卷，第7\u201322页。Springer，Heidelberg（2007）“}，{”key“：”14_CR8“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“324”，”doi“：”10.1007\/978-3-540-30476-0_27“，”volume-title“：“用于验证和分析的自动化技术”，”author“：”O.Kupferman“，”year“：”2004“，”unstructured“：”Kupferman，O.，Morgenstern，G.，Murano，A.：\u03c9-正则自动机的类型。作者：Wang，F.（编辑）ATVA 2004。LNCS，第u00a03299卷，第324\u2013338页。Springer，Heidelberg（2004）“}，{“问题”：“2”，“关键”：“14_CR9”，“doi-asserted-by”：“出版商”，“首页”：“273”，“doi”：“10.1145\/1055686.1055689”，“卷”：“6”，“作者”：“O.Kupferman”，“年份”：“2005”，“非结构化”：“Kupfer曼，O.，Vardi，M.Y.：从线性时间到分支时间。ACM计算逻辑学报\u00a06（2），273\u201329299 4（2005）“，”journal-title“：”ACM Transactions on Computational Logic“}，{“key”：“14_CR10”，“doi-asserted-by”：“publisher”，“首页”：“59”，“doi”：“10.1016\/0022-0000（87）90036-5”，“卷”：“35”，“作者”：“R.P.Kurshan”，“年份”：“1987”，“非结构化”：“Kurshan，R.P.：在多项式时间内补充确定性B\u00fcchi自动机。计算机与系统科学杂志\u00a035，59\u201371（1987）“，”期刊标题“：”计算机与系统学杂志“}，{“卷-时间”：“协调过程的计算机辅助验证”，“年份”：“1994”，“作者”：“R.P.Kurshan”，“密钥”：“14_CR11”，“非结构化”：“Kurshan，R.P.：协调过程的计算机辅助验证。普林斯顿大学出版社，普林斯顿（1994）“}，{”key“：”14_CR12“，”doi-asserted-by“：”publisher“，”first page“：“376”，”doi“：”10.1007\/BF01691063“，”volume“：3”，”author“：”L.H.Landweber“，”year“：”1969“，”unstructured“：”Landweber，L.H.：\u03c9\u2013automata的决策问题。数学系统理论\u00a03，376\u2013384（1969）“，”journal-title“：”数学系统理论”}，｛“key”：“14_CR13”，“doi asserted by”：“publisher”，“first page”：“521”，“doi”：“10.1016/S0019-9958（66）80013-X”，“volume”：“9”，“author”：“R.McNaughton”，“year”：“1966”，“nonstructured”：“McNaughton，R.:用有限自动机测试和生成无限序列。Information and Control\u00a09，521\u2013530（1966）”，“journal-title“：”Information and Control“}，{”key“：”14_CR14“，”doi-asserted-by“：”publisher“，”first page“：“321”，“doi”：“10.1016\/0304-3975（84）90049-5”，“volume”：“32”，“author”：“S.Miyano”，“year”：“1984”，“unstructured”：“Miyano，S.，Hayashi，T.：u03c9-words上的交替有限自动机。理论计算机科学\u00a032，321\u2013330（1984）”，“journal-title“：“理论计算机科学”}，{“key”：“14_CR15”，“doi-asserted-by”：“crossref”，“unstructured”：“Pnueli，A.，Rosner，R.：关于反应性模块的合成。收录于：第16届ACM程序设计语言原理交响曲，第179\u2013190页（1989）”，“doi”：“10.1145\/75277.75293”}、{“key”：”14_CR16“，“首页”：“1”，“卷”：“141”作者：“M.O.拉宾”，“年份”：“1969年”，“非结构化”：“拉宾，M.O.：无限树上二阶理论和自动机的可判定性。AMS\u00a0141，1\u201335（1969）的交易”，“日志标题”：“AMS的交易”}，{“key”：“14_CR17”，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“first page”：”143“，“doi”：“10.1007\/3-540922-X_10”，“volume-title”：”计算机辅助设计中的形式方法“，”作者：“K.Ravi”，“年份”：“2000”，“非结构化”：“Ravi，K.，Bloem，R.，Somenzi，F.：公平循环计算符号算法的比较研究。收录人：Johnson，S.D.，Hunt Jr.，W.A.（编辑）FMCAD 2000。LNCS，卷\u00a01954，第143\u2013160页。Springer，Heidelberg（2000）“}，{“key”：“14_CR18”，“doi-asserted-by”：“crossref”，“unstructured”：“Safra，S.：关于\u03c9-automata的复杂性。In:Proc.29 IEEE Symp.On Foundations of Computer Science，pp.319\u2013327（1988）”，“doi”：“10.1109\/SFCS.1988.21948”}，}，“key“：”14_CR19“，”series-time“：“计算机科学讲稿”，“doi-asserted-by”publisher“，”first page“：”465“，”DOI“：”10.1007\/3-540-13345-3_43“，”volume-title“：”Automata，Languages，and Programming“，”author“：”R.S.Street“，”year“：”1984“，”unstructured“：”Street，R.S.，Emerson，E.A.：u03bc-calculus的基本决策程序。收录：Paredaens，J.（编辑）ICALP 1984。LNCS，第u00a0172卷，第465\u2013472页。Springer，Heidelberg（1984）“}，{”issue“：”2“，”key“：”14_CR20“，”doi-asserted-by“：”publisher“，”first page“：“182”，”doi“：”10.1016\/0022-0000（86）90026-7“，“volume”：“32”，“author”：“M.Y.Vardi”，“year”：“1986”，“unstructured”：“Vardi，M.Y.，Wolper，P.：程序模态逻辑的自动理论技术。计算机与系统科学杂志\u00a032（2），182\u2013221（1986）“，”journal-title“：”journal of Computer and Systems Science“}，{”issue“：”1“，”key“：”14_CR21“，”doi-asserted-by“：”publisher“，”first page“：“1”，”doi“：”10.1006\/inco.1994.1092“，”volume“:”115“，”author“：”M.Y.Vardi“，”year“：”1994“，”unstructured“：”Vardi，M.Y.，Wolper，P.：关于无限计算的推理。信息与计算\u00a0115（1），1\u201337（1994）“，“journal-title”：“信息与计算”}，{“key”：“14_CR22”，“series-title”：《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first-page”：“110”，“doi”：“10.1007\/3-540-46691-6_9”，“volume-title“软件技术与理论计算机科学基础”，“author“：”T.Wilke“，”year“：”1999“，”unstructured“：”Wilke，T.：CTL\u2009+\u2009比CTL简洁得多。In：Pandu Rangan，C.，Raman，V.，Ramanujam，R.（编辑）FST TCS 1999。LNCS，第u00a01738卷，第110\u2013121页。Springer，Heidelberg（1999）“｝，｛“key”：“14_CR23”，“doi asserted by”：“crossref”，“nonstructured”：“Wolper，P.，Vardi，M.Y.，Sistla，A.P.：关于无限计算路径的推理。In：Proc.24th IEEE Symp.on Foundations of Computer Science，pp.185\u2013194（1983）”，“doi”：“10.1109\/SFCS.1983.51”｝]，“容器标题”：[“计算机科学讲义”，“编程、人工智能和推理逻辑“]，”original-title“：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-89439-1_14“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}”，“deposed”：{“date-parts”：[2019,3,4]]，“date-time”：“2019-03-04T02:35:55Z”，“”timestamp“：1551666955000}，”score“：1，”resource“：{“primary”：{”URL“：”http://\/link.springer.com/10.1007\/978-3-540-89439-1_14“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2008]]}，《ISBN》：[“9783540894384”，“978354894391”]，“references-count”：23，“URL”：“http://\/dx”。doi.org \/10.1007\/978-3-540-89439-1_14“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”issn-type“：[{”type“:”print“，”value“：”0302-9743“}，{”类型“：”electronic“，”value“：”1611-3399“}]，”subject“：[]，”published“：{”date-parts“：[[2008]]}}}