{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T17:56:28Z”，“时间戳”：172555898878}，“出版商位置”：“柏林，海德堡”，“参考计数”：17，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540253334“}，{”类型“：“electronic”，“value”：“9783540319801”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2005]]}，”DOI“：”10.1007\/978-3-540-31980-1_10“，”type“：”book-capter“，”created“：{”date-ports“：[2010,7,11]]，”date-time“：”2010-07-11T22:44:55 9Z“，”时间戳“：1278888299000}，”页面“：”140-156“，“source”：“Crossref”，“is-referenced-by-count”：13，“title”：[“一种基于抽象解释的强保持精化算法”]，“prefix”：“10.1007”，”author“：[{”given“：”Francesco“，”family“：”Ranzato“，”sequence“：”first“，”affiliation“：[]}，{”given“:”Francesco“，”家族“：”Tapparo“，“sequence”：“additional”，”afliation“:[]}]，“member”：“297”，“reference”：[{“volume-title”：“Data Structures and Algorithms”，“year”：“1983”，“author”：“A.V.Aho”，“key”：“10_CR1”、“unstructured”：“Aho，A.V.，Hopcroft，J.E.，Ullman，J.D.：数据结构和算法。Addison-Wesley，Reading（1983）”}，{“key“：”10_CR2“，“doi-asserted-by”：“publisher”，”，“first page”：”115“，“doi”：“10.1016\/0304-3975（88）90098-9”，“卷”：“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.COM.Sci.”}，{“volume-title”：《模型检查》，“year:”1999“，”author“：”E.M.Clarke“，”key“10_CR3”，“非结构化”：“Clarke，E.M.，Grumberg，O.，Peled，D.A.：模型检查。麻省理工学院出版社，剑桥（1999）”}，{“key”：“10_CR4”，“doi-asserted-by”：“crossref”，“非结构”：“Cousot，P.，Cousot，R.：抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型。In：Proc.4\n th\n ACM POPL，pp.238\u2013252（1977）”，“DOI”：“10.1145\/512950.512973”}，｛“key”：“10_CR5”，DOI断言为“：”crossref“，”非结构化“：“Cousot，P.、Cousot、R.：程序分析框架的系统设计。摘自：Proc.6\n th\n ACM POPL，pp.269\u2013282（1979）”，“DOI”：“10.1145\/567752.567778”}，{“key”：“10_CR6”，“unstructured”：“Dams，D.：模型检查的抽象解释和划分精化。Eindhoven Univ博士论文（1996）”}，{“issue”：“2”，“key”：“10_CR7”，“doi-asserted-by”：“publisher”，“first page”：：“458”，“doi”：“10.1145\/201019.201032”，“volume”：”42“，“author”：“R.Nicola De”，”year“：”1995“，”unstructured“：”De Nicola-，R.，Vaandrager，F.：分支双向模拟的三种逻辑。J.ACM\u00a042（2），458\u2013487（1995）“，”journal-title“：”J.ACM“”}，{“问题”：“1”，“密钥”：“10_CR8”，“doi-asserted-by”：“publisher”，“first page”：“73”，“doi”：“10.1023\/A:1027328830731”，“volume”：”31“，“author”：“R.Gentilini”，”year“：”2003“，”unstructured“：”Gentilini.，R.，Piazza，C.，Policriti，A.：从模拟到模拟：最粗糙的分区问题。J.Automated Reasoning\u00a031（1），73\u2013103（2003）“，”journal-title“：”J.Automoting Reasoning“”}，{“key”：“10_CR9”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：《356》，“doi”：“10.1007\/3-540-47764-0_20”，“volume-title”：《静态分析》，“author”：“R.Giacobazzi”，《year》：“2001”，“unstructured”：“Giacobazzi，R.，Quintarelli，E.：抽象模型检查中的不完整性、反例和改进。摘自：Cousot，P.（ed.）SAS 2001。LNCS，第u00a02126卷，第356\u2013373页。Springer，Heidelberg（2001）“}，{“问题”：“2”，“关键”：“10_CR10”，“首页”：“361”，“卷”：“47”，“作者”：“R.Giacobazzi”，“年份”：“2000”，“非结构化”：“Giacobaszi，R.，Ranzato，F.，Scozzari，F.：完成抽象解释。J.\u00a0ACM\u00a 047（2），361\u2013416（2000）”，“新闻标题”：“J.\u00 a0ACM”}，key“：”10_CR11“，”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）“}，{”issue“：”1“，”key“：”10_CR12“，”doi-asserted-by“：”publisher“，”first page“：“137”，”doi“：”10.1145\/2455.2460“，“volume”：“32”，”author“：”M.Hennessy“，”year“：”1985“，”unstructured“：”Hennessy-，M.，Milner，R.：不确定性和并发性的代数定律。J.ACM\u00a032（1），137\u2013161（1985）“，“新闻标题”：“J.ACM”}，{“key“：”10_CR13“，”doi-asserted-by“：”crossref“，”unstructured“：”Henzinger，M.R.，Henzinger，T.A.，Kopke，P.W.：有限和无限图的计算模拟。In：程序。第36页FOCS，第453\u2013462页（1995）“，“DOI”：“10.1109\/SFCS.1995.492576”}，{“key”：“10_CR14”，“series-title”：“计算机科学讲义”，“DOI-asserted-by”：“publisher”，“first page”：”594“，“DOI”：”10.1007\/3-540-45694-5_39“，“volume-title”：”CONCUR 2002-并发理论“，“author”：“A.Kucera”，“year”：“2002年“，”非结构化”：“Kucera，A.，Mayr，R.：为什么模拟比互模拟更难？收录人：Brim，L.，Jan\u010dar，P.，K\u0159et\u00ednsk\u00fd，M.，Kucera，A.（编辑）CONCUR 2002。LNCS，第00a02421卷，第594\u2013610页。Springer，Heidelberg（2002）“}，{”issue“：”6“，”key“：”10_CR15“，”doi-asserted-by“：”publisher“，”first page“：“973”，“doi”：“10.1137\/0216062”，“volume”：“16”，“author”：“R.Paige”，“year”：“1987”，“unstructured”：“Paige，R.，Tarjan，R.E.：三种分区求精算法。SIAM J.Compute.\u00a016（6），973\u2013989（1987）”，“journal-al-title“：”SIAM J.计算机“}，{”key“：”10_CR16“，”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“：”10_CR17“，”doi断言“：”publisher“，”首页“：”3“，”doi“：”10.1016\/B978-044482830-9\/50019-9“，”卷标题“：”过程代数手册“，”作者“：”R.J.Glabbek van“，”年份“：”2001“，”非结构化“：”van Glabbeek，R.J.：线性时间分支时间谱I：具体顺序过程的语义。摘自：《过程代数手册》，第3\u201399页。Elsevier，Amsterdam（2001）“}]，“container-title”：[“计算机科学课堂讲稿”，“系统构建和分析的工具和算法”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-31980-1_10.pdf”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期部分”：[[2021,5,3]]，“日期时间”：“2021-05-03T03:44:34Z”，“时间戳”：1620013474000}，“分数”：1，“资源”：{“主要”：{-“URL”：“http://\\link.springer.com\/10.1007\/978-3-540-31980-1_10”}，“ISBN”：[“9783540253334”，“9783540319801”]，“references-count“：17，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-31980-1_10“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”类型“：”electronic“，”value“：“1611-3399”}]，”主题“：[]，”发布“：{”date-parts“：[2005]]}}}