{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T17:56:29Z”，“时间戳”：1725558989259}，“出版商位置”：“柏林，海德堡”，“参考计数”：23，“出版者”：“斯普林格-柏林-海德堡“，”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_9“，”type“：”book-capter“，”created“：{”date-ports“：[2010,7,11]]，”date-time“：”2010-07-11T22:44:55 9Z“，”时间戳“：1278888299000}，”页面“：”124-139“，“source”：“Crossref”，“由count引用”：17，“title”：[“Separating Fairness and Well Foundness for the Analysis of Fair Discrete Systems”]，“prefix”：“10.1007”，“author”：[｛”给定的：“Amir”，“family”：“Pnueli”，“sequence”：“first”，“affiliation”：[]｝，｛”给定的：“Andreas”，“family”：“Podelski”，“sequence”：“additional”，“affiliation”：[]｝，｛”给定的：“Andrey”，“family”：“Rybalchenko”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“9_CR1”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，《first page》：“67”，“doi”：“10.1007\/3-540-45319-9_6”，“volume-title”：《系统构建和分析的工具和算法》，“author”：“M.Col\u00f3n”，“year”：“2001”，“非结构化”：“Col\u00f3n，M.，Sipma，H.：线性排序函数的合成。收录：Margaria，T.，Yi，W.（编辑）TACAS 2001。LNCS，第u00a02031卷，第67\u201381页。Springer，Heidelberg（2001）“}，{”key“：”9_CR2“，”series-title“：”人工智能课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“1”，”doi“：”10.1007\/3-540-44914-0_1“，“volume-title”：“抽象、重构和近似”，“author”：“P.Cousot”，“year”：“2000”，“unstructured”：“Cousot，P.：抽象不动点检查的部分完整性。收录：Choueiry，B.Y.，Walsh，T.（编辑）SARA 2000。LNCS（LNAI），第u00a01864卷，第1\u201315页。Springer，Heidelberg（2000）“}，{”key“：“9_CR3”，”first page“：”238“，”volume-title“：”Proc.of POPL 1977：Principles of Programming Languages“，”author“：”P.Cousot“，”year“：”1977“，”unstructured“：”库索，P.，库索，R.：抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型。In：程序。POPL 1977：编程语言原理，第238\u2013252页。ACM Press，New York（1977）“}，{”key“：”9_CR4“，”first page“：“269”，”volume-title“：”POPL Proc.of 1979：编程语言原理“，”author“：”P.Cousot“，”year“：”1979“，”unstructured“：”Cousot，P.，Cousot R.：程序分析框架的系统设计。In：POPL 1979：程序语言原理，pp.269\u2013282。美国计算机学会出版社，纽约（1979）“}，{”key“：”9_CR5“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“482”，”doi“：”10.1007\/978-3-540-24730-2_36“，”volume-title“：“系统构建和分析的工具和算法”，”author“：”Y.Fang“，”year“：”2004“，”unstructured“：”Fang，Y.，Piterman，N.，Pnueli，A.，Zuck，L.D.：生活与不可理解的排名。收录：Jensen，K.，Podelski，A.（编辑）TACAS 2004。LNCS，第u00a02988卷，第482\u2013496页。Springer，Heidelberg（2004）“｝，｛“key”：“9_CR6”，“doi断言”：“crossref”，“非结构化”：“Fang，Y.，Piterman，N.，Pnueli，A.，Zuck，L.D.：无形排名的活力。In：Steffen，Levi（eds.）[21]，pp.223\u2013238.”，“doi”：“10.1007\/978-3-540-24622-0_19”｝，｛“key”：“9_CR7”，“非结构化”：“Holzbaur，C.:OFAI clp（q，r）手册，编辑。1.3.3，维也纳。奥地利人工智能研究所（1995）TR-95-09“｝，｛“key”：“9_CR8”，“series title”：“计算机科学讲义”，“doi asserted by”：“publisher”，“first page”：“1”，“doi”：“10.1007\/BFb0055036”，“volume title”：“自动机、语言和编程”，“author”：“Y.Kesten”，“year”：“1998”，“nonstructured”：“Kesten，Y.，Pnueli，A.，Raviv，L.：线性时序逻辑规范的算法验证。收录：Larsen，K.G.，Skyum，S.，Winskel，G.（编辑）ICALP 1998。LNCS，第u00a01443卷，第1\u201316页。Springer，Heidelberg（1998）“}，{”key“：”9_CR9“，”first page“：“229”，”volume-title“：”PODC Proc.1992：分布式计算原理“，”author“：”N.Klarlund“，”year“：”1992“，”unstructured“：”Klarlond，N.：公平终止的进度度量和堆栈断言。In:PODC Proc 1992：分布式计算机原理，pp.229\u2013240。ACM Press，New York（1992）“}，{“key”：“9_CR10”，“unstructured”：“T.I.S.Laboratory.SICStus Prolog User\u2019s Manual.Swedish Institute of Computer Science，PO Box 1263 SE-164 29 Kista，Sweden（2001年10月）（发行3.8.7）”}，}“issue”：“8”，“key“：”9_CR11“，”doi-asserted-by“：”publisher“，”first page“：“453”，“doi”：“10.1145\/361093”，“volume”：”“17”，“author“：”L.Lamport“，”year“：”1974“，”unstructured“：”Lamport，L.：Dijkstra\u2019并发编程问题的新解决方案。《美国计算机学会通讯》\u00a017（8），453\u2013455（1974）“，“期刊标题”：“美国计算机学会的通讯”}，{“关键词”：“9_CR12”，“连载时间”：“计算机科学讲义”，“doi-asserted-by”：“crossref”，“首页”：“264”，“doi”：“10.1007\/3-540-10843-2_22”，《卷时间》：“自动机、语言和编程”，“作者”：“D.莱曼”，“年份”：“1981”，“”非结构化”：“Lehmann，D.，Pnueli，A.，Stavi，J.：公正、正义和公平：同时终止的伦理。收录：Even，S.，Kariv，O.（编辑）ICALP 1981。LNCS，第u00a0115卷，第264\u2013277页。Springer，Heidelberg（1981）“}，{”key“：“9_CR13”，”first page“：”97“，”volume-title“：”Proc.of POPL 1985:Principles of Programming Languages“，”author“：”O.Lichtenstein“，”year“：”1985“，”unstructured“：”Lichtenstein，O.，Pnueli，A.：检查有限状态并发程序是否满足其线性规范。In：程序。POPL 1985：编程语言原理，第97页\u2013107。美国计算机学会出版社，纽约（1985）“}，{”问题“：”1“，”关键“：”9_CR14“，”doi-asserted-by“：”publisher“，”首页“：”91“，”doi“：”10.1016\/0304-3975（91）90041-Y“，”卷“：”83“，”作者“：”Z.Manna“，”年份“：”1991“，”非结构化“：”Manna，Z.，Pnueli，A.：完成时间图。理论计算机科学\u00a083（1），91\u2013130（1991）“，”日志标题“：”理论计算机科学“}，{“key”：“9_CR15”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/978-1-4612-4222-2”，“volume-title”：“反应系统的时间验证：安全”，“author”：“Z.Manna”，“year”：“1995”，“unstructured”：“Manna，Z.，Pnueli，A.：反应系统的临时验证：安全。Springer，Heidelberg（1995）”}，“key“：”9_CR16”，“doi-asserted-by“：”crossref“，”unstructured“：”Manna，Z.，Pnueli，A.：反应系统的时间验证：进展。Draft（1996）“，”DOI“：”10.21236\/ADA329718“}，{“key”：“9_CR17”，“DOI-asserted-by”：“crossref”，“unstructured”：“Podelski，A.，Rybalchenko，A.：线性排序函数合成的完整方法。In:Steffen，Levi（eds.）[21]，pp.239\u2013251。”，“DOI”：“10.1007\/978-3-540-24622-0_20”}，“key“：”9_CR18“，”DOI-assert-by“：”publisher“，”首页“：”32“，”DOI“：”10.1109\/LICS.2004.1319598“，”volume-title“：”Proc。LICS 2004：《计算机科学中的逻辑》，“作者”：“A.Podelski”，“年份”：“2004”，“非结构化”：“Podelsky，A.，Rybalchenko，A.：转换不变量。In：程序。LICS 2004：《计算机科学中的逻辑》，第32页\u201341。IEEE，Los Alamitos（2004）“}，{“key”：“9_CR19”，“doi-asserted-by”：“crossref”，“unstructured”：“Podelski，A.，Rybalchenko，A.：转移谓词抽象和公平终止。In：POPL Proc.2005：编程语言原理。ACM Press，New York（2005）crossref”，“非结构化”：“拉姆齐，F.P.：关于形式逻辑的问题。In：程序。伦敦数学。Soc.，vol.\u00a030，pp.264\u2013285（1930）“，“DOI”：“10.1112\/plms\/s2-30.1.264”}，{“volume-title”：“验证、模型检查和抽象解释”，“year”：“2004”，“series-title”：《计算机科学讲义》，“key”：“9_CR21”，“unstructured”：“Steffen，B.，Levi，G.（eds.）：VMCAI 2004。LNCS，卷\u00a02937。Springer，Heidelberg（2004）“}，{”key“：”9_CR22“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“70”，”doi“：”10.1007\/978-3-540-27813-9_6“，”volume-title“：“计算机辅助验证”，”author“：”A.Tiwari“，”year“：”2004“，”unstructured“：”Tiwari，A.：线性程序的终止。In:Alur，R.，Peled，D.A.（编辑）CAV 2004。LNCS，第u00a03114卷，第70\u201382页。Springer，Heidelberg（2004）“}，{”key“：“9_CR23”，”doi-asserted-by“：”publisher“，”first page“：”79“，”doi“：”10.1016\/0168-0072（91）90066-U“，“volume”：“51”，“author”：“M.Y.Vardi”，“year”：“1991”，“unstructured”：“Vardi，M.Y.：并发程序的验证\u2014自动机理论框架。《纯粹与应用逻辑年鉴》\u00a051，79\u201398（1991）“，”journal-title“：“纯逻辑和应用逻辑年鉴”}]，“容器-时间”：[“计算机科学课堂讲稿”，“系统构建和分析的工具和算法”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31980-1_9.pdf”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2021,5,3]]，”date-time“：”2021-05-03T03:44:41Z“，”timestamp“：1620013481000}，”score“：1，”resource“：”primary“：”{“URL”：“http://\link.springer.com\/10007\/978-3-540-31980-1_9”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[[2005]]}，“ISBN”：[“9783540253334”，“9783540319801“]，”references-count“：23，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-31980-1_9“，”relationship“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“type”:“print”，“value”：“0302-974”}，{“type”：“electronic”，“value”：“1611-3399”}]，“subject”：[]，“published”：{“date-pa”rts“：[2005]]}}}