{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,1,29]]，“日期时间”：“2024-01-29T16:02:43Z”，“时间戳”：1706544163618}，“引用计数”：22，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“发布-打印”：{“日期部分”：[[2017,6]]}，“DOI”：“10.1109\/lics.2017.8005098”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2017,8,10]]，“date-time”：“2017-08-10T20:43:24Z”，“timestamp”：1502397804000}，“source”：“：”Quaas“，”sequence“：”first“，“附属关系”：[]｝，｛“给定”：“Mahsa”，“家族”：“Shirmohammadi”，“序列”：“附加”，“附属关系”：[]｝，｛“给定”：“James”，“家族”：“Worrell”，“序列”：“附加”，“附属关系”：[]｝]，“成员”：“263”，“引用”：[｛“密钥”：“ref10”，“doi断言者”：“publisher”，“doi”：“10.1007\/10722167_32”｝，｛“密钥”：“ref11”，doi断言者“：”发布者“，”内政部“：“10.1016\/S1567-8326（02）00037-1”}，{“key”：“ref12”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/LICS.2017.8005098”}、{“密钥”：“ref13”，“doi-asserte-by”：“crossref”，”first page“：”145“，”doi“：”10.3233\/FI-1998-36233“，”article-title“描述时间自动机中无声跃迁的表达能力”，“volume”：”36“，“作者”：“贝拉德”，“年份”：“1998”，“新闻标题”：“Fundam Inform”}，{“key”：“ref14”，“首页”：“71”，“article-title”：“逻辑理论的复杂性”，“卷”：“11”，“作者”：“berman”，“年份”：“1980”，“日记标题”：《或计算科学》}，}“key:”ref15“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0020-0190（85）90076-6“}，“：”ref16“，”doi-asserted-by“：”publisher“，”doi“：“10.1016\/S0747-7171（88）80003-8”}，{“key”：“ref17”，“doi-asserted-by”：“publisher”，“doi”：“10.1006\/inco.1993.1024”}，{“key”：“ref4”，“doi-asserted-by”：“publisher”，“doi”：“10.1137\/0204006”}，{：“ref3”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/3-540-48320-9_18”}，{“key”：“ref6”，“doi-assertd-by”：“publisher”，“DI:”10.1016\/S0304-3975（02）00743-0“}，}”key“：”ref5“，”doi-assert-by“：”publisher“，”doi“：”10.1007\/978-3642-04027-6_35“}doi-asserted-by“：”publisher“，”doi“：”10.1145\/1342991.1342996“}，{”key“：”ref7“，”doi-assert-by“：“publisher”，“DOI”：“10.1109\/LICS.2002.1029827”}，{“key”：“ref2”，“首页”：“242”，《article-title》：“时间自动机与实数理论”，“volume”：《1664》，“author”：“comon”，“year”：“1999”，“journal-title”：“CONCUR’99并发理论第十届国际会议Eindhoven The Netherlands August 24-27 1999 Proceedings ser Teach Notes in Computer Science”}，{“key”：“ref1”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975（94）90010-8”}、{“密钥”：“ref9”，“doi-assertd-by”：“publisher”，“DI:”10.1007\/3-540-36494-3_60“}，}”key“ref20”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-540-85238-4_26”}，{“key”：“ref22”，“doi-asserted-by”：”publisher“，”doi“：”10.1016\/S0019-9958（86）80009-2“}，”{“key”：”ref21“，”doi-assert-by“：”crossref“，时间自动机：语义、算法和工具“，“卷”：“3098”，“作者”：“bengtsson”，“year”：“2003”，“journal-title”：“ser Telection Notes in Computer Science”}]，“event”：{“name”：“2017年第32届ACM\/IEEE计算机科学逻辑研讨会（LICS）”，“location”：“冰岛雷克雅未克”，“start”：{“date-parts”：[[2017,6,20]]}，“end”：{date-part“[[20176,23]]}}，”container-title“：[“2017年第32届ACM\/IEEE年度计算机科学逻辑研讨会（LICS）”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx7\/7999337\/8005098.pdf？arnumber=8005098”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2020,10,10,1【4】]，“date-time”：“2020-10-14T21:13:15Z”，“timestamp”：1602709995000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/ieeexplore.iee.org\/document\/8005098\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2017,6]]}，’references-count“：22，”URL“：”http://\/dx.doi.org \/10.109\/lics.2017.8005098“，”关系“：{}，”主题“：[]，”已发布“：{“日期部分”：[[2017,6]]}}