{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,7]]，“日期时间”：“2024-09-07T21:32:41Z”，“时间戳”：1725744761912}，“引用计数”：25，“发布者”：“IEEE Compute.Sco.Press”，“内容域”：{“域”：[]，“交叉标记限制”：false}，“内政部”：“10.1109\/lics.1991.151650”，“type”：“procesdings-article”，“created”：{“date-parts”：[2002,12,10]]，“date-time”：“2002-12-10T19:53:10Z”，“timestamp”：1039549990000}，“page”：”256-265“，“source”：《Crossref》，“is-referenced-by-count”：13，“title”：[“Rabin度量及其在公平和自动机理论中的应用”]，“前缀”：”10.1109“，“卷”：“115”，“作者“：[{“given”：“N.”，“family”：“Klarlund”，“sequence”：“first”，“affiliation”：[]}，{“given”:“D.”，“家族”：“Kozen”，“serquence”:“additional”，“abfiliation“：[]{”，”member“：”263“，”reference“：[{”journal-title“：”-自动机和应用程序的验证条件“，”year“：”1990“，”author“：”Klarlund“，”key“：”ref10“}，“key”：”ref11“，“doi-asserted-by”：“publisher”，“DOI”：“10.1007\/3-540-555511-0_25”｝，｛“year”：“0”，“key”：“ref12”｝，｛“journal title”：“无限计算的进展度量和有限自变量”，“year”：“1990”，“author”：“klarlund”，“key”：“ref13”｝，｛“key”：“ref14”，“article title”：“公正、公正和公平：并发终止的伦理”，“volume”：“115”，“author”：“lehmann”，“年份”：“1981”，“期刊标题”：“Proc 8th ICALP”}，{“期刊标题”：“强公平性和强极端公平性的完整证明规则”，“年份”：“1989”，“作者”：“main”，“key”：“ref15”}，{“key”：“ref16”，“doi断言者”：“publisher”，“doi”：“10.1016/0167-6423（84）90003-0”}，{“key”：“ref17”，“doi断言者”：“publisher”，“doi”：“10.1145\/41625.441626”}，{“密钥”：“ref18”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/357172.357178”}，{“key”：“ref19”，“首页”：“1”，“volume”：”141“，”author“：”rabin“，“year”：“1969”，“journal-title”：“无穷树上二阶理论和自动机的判定性”}}，{“键”：“参考3”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0167-6423（83“卷”：“9”，“作者”：“大研”，“年份”：“1986”，“journal-title”：“Fundamenta Informatica”}，{“key”：“ref8”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0019-9958（85）80014-0”}“}，{”key“：”ref9“，”doi-asserted-by“：”publisher“，”doi“：“10.1145\/41840.41853”}，{“key”：“ref1”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BF01782772”}“：”safra“，”key“：”ref22“}，{”journal-title“：“递归函数理论与有效可计算性”，“年份”：“1967”，“作者”：“rogers”，“key”：“ref21”}，{“key“：“ref24”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0890-5401（89）90004-7”}、{“journal-title”：“On using automata in verification of concurrent programs”，“year”：“1987”，“author”：“sistla”，“key”：”ref23“}”，{”key“ref25”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0168-0072（91）90066-U”}]，“event”：{“name”：“第六届IEEE计算机科学中的逻辑研讨会”，“location”：“荷兰阿姆斯特丹”}，“container-title”：[“[1991]第六届电气与电子工程师协会计算机科学中逻辑研讨会论文集”]，“original-title“：[]，“link”：[{“URL”：“http://explorestaging.ieee.org/ielx2\/360\/3979\/00151650.pdf？arnumber=151650”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”}]，“存放”：｛“日期部分”：[[2021,6,1]]，“日期时间”：“2021-06-01T04:31:12Z”，“时间戳”：1622521872000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http://\/ieeexplore.iee.org\/document\/151650\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[null]]}，”引用计数“：25，”URL“：”http://\/dx.doi.org\/10.109\/lics.1991.151650“，”关系“：{}”主题“：[]}”