{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T15:56:11Z”，“时间戳”：1725551771576}，“出版商位置”：“柏林，海德堡”，“参考计数”：20，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“类型”：”打印“，“值”：“9783540 297352“}，{”类型“：“electronic”，“value”：“9783540322474”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2005]]}，”DOI“：”10.1007\/11575467_6“，”type“：”book-chipter“，”created“：”{“date-part”：[2005,11,11]]，“date-time”：“2005-11-11T13:58:51Z”，“时间戳”：1131717531000}，“页面”：“69-85”，“源”：“Crossref”，“is-referenced-by-count”：0，“title”：[“An Abstract Interpretation Perspective on Linear vs.Branching Time”]，“prefix”：“10.1007”，”author“：[{”given“：”Francesco“，”family“：”Ranzato“，”sequence“：”first“，”affiliation“：[]}，{”Givent“：”Frencesco“6_CR1”，“doi-asserted-by”：“publisher”，“first page”：“115”，“doi”：“10.1016\/0304-3975（88）90098-9”，《volume》：“59”，“author”：“M.C.Browne”，“year”：“1988”，“unstructured”：“Browne，M.C.，Clarke，E.M.，Grumberg，O.：表征命题时态逻辑中的有限Kripke结构。Theor.Comp.Sci.\u00a059，115\u2013131（1988）”，“journal-title”：“Theor.Comp.Sci.”}，{“key”：“6_CR2”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”428“，“doi”：“10.1007\/BFb0013029”，“volume-title”：”线性时间、分支时间和并行逻辑和模型中的偏序“，”author“：”E.M.Clarke“，”year“：”1989“，”unstructured“：“Clarke，E.M.，Draghicescu，I.A.：线性时间和分支时间逻辑的可表达性结果。In：de Bakker，J.W.，de Roever，W.-P.，Rozenberg，G.（eds.）linear time，branching time and Partial Order In logics and Models for Concurrency。LNCS，vol.\u00a0354，pp.428\u2013437。Springer，Heidelberg（1989）“}，{”doi-asserted-by“：”crossref“，”unstructured“：”Cousot，P.，Cousot R.：抽象解释：通过构造或近似不动点对程序进行静态分析的统一格点模型。In：Proc.4th ACM POPL，pp.238\u2013252（1977）“，”key“：”6_CR3“，”doi“：”10.1145\/512950.512973“}”，{“doi-assert-by”：“”crossref“，”unstructured“：”Cousot，P.，Coosot，R.：程序分析框架的系统设计。In：程序。第六届ACM POPL，pp.269\u2013282（1979）“，“key”：“6_CR4”，“DOI”：“10.1145\/567752.567778”}，{“DOI-asserted-by”：“crossref”，“unstructured”：“Cousot，P.，Couso，R.：时间抽象解释。In:Proc.27th ACM POLL，pp.12\u201325（2000）“，”key“：”6_CR5“，”DOI“：”10.1145\/325694.325699“}，”{“非结构化”：“Dams，D.：模型检查的抽象解释和分区细化。埃因霍温大学博士论文（1996）“，”key“：”6_CR6“}，{”issue“：”1“，”key“：“6_CR7”，”doi-asserted-by“：”publisher“，”first-page“：”55“，”doi“：”10.1093\/jigpal\/7.1.55“，“volume”：“7”，“author”：“D.Dams”，“year”：“1999”，“unstructured”：“Dams，D.：CTL和CTL的扁平片段*：分离表达能力和区分能力。IGPL的逻辑J.u00a07（1），55\u201378（1999）”，“期刊标题”：“IGPL的逻辑J”}，｛“问题”：“1”，“密钥”：“6_CR8”，“doi断言”：“出版商”，“第一页”：“151”，“doi”：“10.1145\/4904.4999”，“卷”：“33”，“作者”：“E.A.爱默生”，“年份”：“1986”，“非结构化”：“Emerson，E.A.，Halpern，J.Y.：重新审视了\u201cTimes \u201d和\u201c Not Never \u201d:分支与线性时间时序逻辑。J.ACM\u00a033（1），151\u2013178（1986）“，“新闻标题”：“J.ACM”}，{“问题”：“2”，“关键”：“6_CR9”，“首页”：“361”，“卷”：“47”，“作者”：“R.Giacobazzi”，“年份”：“2000”，“非结构化”：“Giacobaszi，R.，Ranzato，F.，Scozzari，F.：完成抽象解释。J\u00a 047（2），361\u2013416（2000）”，“journal al-title“：”J“}，{”键“：”6_CR10“，”series-title“：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“626”，“doi”：“10.1007\/BFb0032063”，“volume-title”：“Automata，Languages and Programming”，“author”：“J.F.Groote”，“year”：“1990”，“unstructured”：“Groote，J.F.，Vaandrager，F.：分支互模拟和断续等价的有效算法。作者：Paterson，M.（编辑）ICALP 1990。LNCS，第u00a0443卷，第626\u2013638页。Springer，Heidelberg（1990）“｝，｛“key”：“6_CR11”，“first page”：“304”，“volume title”：“Proc.IFIP PROCOMET”，“author”：“O.Kupferman”，“year”：“1998”，“nonstructured”：“Kupferman，O.，Vardi，M.：相关线性和分支模型检查。In：Proc.IFIP PROCOMET，pp.304\u2013326。Chapman&Hall，Boca Raton（1998）“}，{”key“：”6_CR12“，”首页“：”81“，”volume-title“：”Proc.13th LICS“，”author“：”O.Kupferman“，”year“：”1998“，”unstructured“：”Kupfer曼，O.，Vardi，M.：自由、弱点和决定论：从线性时间到分支时间。摘自：Proc.13st LICS，pp.81\u201392。IEEE Press，Los Alamitos（1998）“}，{”doi-asserted-by“：”crossref“，”unstructured“：”Lamport，L.：“在程序的时序逻辑上，有时是\u201cnot never \u201d\u2013。In:Proc.7th ACM POPL，pp.174\u2013185（1980）“，”key“：”6_CR13“，”doi“：”10.1145\/567446.567463“}”，{“unstructure”：“”Maidl，M.：CTL和LTL的常见片段。In：程序。第41届FOCS，pp.643\u2013652（2000）“，”key“：”6_CR14“}，{”issue“：”6“，”key“：“6_CR15”，”doi-asserted-by“：”publisher“，”first page“：6），973\u2013989（1987）“，“新闻标题”：”SIAM J.计算。“}，{”key“：”6_CR16“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“137”，”doi“：”10.1007\/3-540-45309-1_10“，”volume-title“：“编程语言和系统”，”author“：”F.Ranzato“，”year“2001”，”unstructured“：”Ranzato，F.：关于模型检查的完整性。in:Sands，D.（ed.）ESOP 2001。LNCS，卷\u00a02028，第137\u2013154页。Springer，Heidelberg（2001）“}，{”key“：”6_CR17“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“18”，”doi“：”10.1007\/978-3-540-24725-8_3“，“volume-title”：“Programming Languages and Systems”，“author”：“F.Ranzato”，“year”：“2004”，“unstructured”：“Ranzato，F.，Tapparo，F.：在抽象解释中作为完整性的强大保存。摘自：Schmidt，D.（编辑）《2004年员工持股计划》。LNCS，第u00a02986卷，第18\u201332页。Springer，Heidelberg（2004）“}，{”key“：”6_CR18“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“140”，”doi“：”10.1007\/978-3-540-31980-1_10“，”volume-title“：“系统构建和分析的工具和算法”，“author”：“F.Ranzato”，“year”：“2005”，“unstructured”：“Ranzato，F.，Tapparo，F.：一种用于强保存的基于抽象解释的细化算法。收录：Halbwachs，N.，Zuck，L.D.（编辑）TACAS 2005。LNCS，第u00a03440卷，第140\u2013156页。Springer，Heidelberg（2005）“}，{”key“：”6_CR19“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“1”，”doi“：”10.1007\/BFb0055612“，”volume-title“：“CONCUR\u201998并发理论”，“author”：“M.Vardi”，“year”：“1998”，“unstructured”：“Vardi，M.：有时，而不是永远不会重新访问：关于分支vs.u00a0线性时间。收录：Sangiorgi，D.，de Simone，R.（编辑）CONCUR 1998。LNCS，第u00a01466卷，第1\u201317页。Springer，Heidelberg（1998）“}，{”key“：”6_CR20“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“1”，”doi“：”10.1007\/3-540-45319-9_1“，“volume-title”：“系统构建和分析的工具和算法”，“author”：“M.Vardi”，“year”：“2001”，“unstructured”：“Vardi，M.：Branching vs。线性时间：最终决战。收录：Margaria，T.，Yi，W.（编辑）TACAS 2001。LNCS，第u00a02031卷，第1\u201322页。Springer，Heidelberg（2001）“}”，“container-title”：[“计算机科学课堂讲稿”，“编程语言和系统”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10.1007\/11575467_6.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{date-parts“：[[2020,11,17]]，“date-time”：“2020-11-17T19:57:32Z”，“timestamp”：1605643052000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\/link.springer.com\/10.1007\/11575467_6”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2005]]}”，“ISBN”：[“9783540297352”，“97352”83540322474“]，”references-count“：20，”URL“：”http:\/\/dx.doi.org\/10.1007\/11575467_6“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-7743“}，{”型“：”电子“，”数值“：”1611-33049“}]，”主题“：[]，”发布“：{”日期部分“：[2005]]}}}}