｛“状态”：“好”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2024,5,23]，“日期-时间”：“2024-05-23T11:48:34Z”，“时间戳”：1716464914594｝，“引用计数”：21，“发布者”：“IEEE Comput.Soc”，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[]，“DOI”：“10.1109\/lics.2001.932505”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2002,11,13]]，“date-time”：“2002-11-13T11:02:21Z”，“timestamp”：1037185341000}，“source”：”Crossref“，“is-referenced-by-count”：12，“title”：[“LTL片段的确定生成器和游戏”]，“prefix”：“10.1109”，“author”：[{“given”：]}，{“给定”：“S.”，“family”：“La Torre”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref10”，“doi-asserted-by”：”publisher“，”doi“：”10.1007\/3-540-63166-6_7“}，{“key”：”ref11“，”doi-assert-by“：”publizer“，“doi”：“10.1109\/LICS.1998.705645”}，“key“：”ref12“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/318593.318622“}，{”key“：”ref13“，“author”：“manna”，“year”：“1991”，“journal-title”：“The Temporal Logic of Reactive and Concurrent Systems Specification”}，{“key”：“ref14”，“doi-asserted-by”：“publisher”，“doi”：“10.1109”\/SFCS.1977.32：“无限对象上的自动机和Church问题”，“author”：“rabin”，“year”：“1972”，“journal-title”：“Trans-Amer Math Soc”}，{“key”：“ref17”，“doi-asserted-by”：“crossref”，”first page“：”319“，”doi“：”10.1109\/SFCS.1988.21948“，”article-title“：”on the complexity of w-autometa“，”author“：”safra“，”year“：”1988“，”journal-title“：“第29届计算机科学基础研讨会论文集”}，{“key”：“ref18”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3828.3837”}：“第十二届计算机科学理论研讨会STACS’95”}，{“key”：“ref4”，“doi-asserted-by”：“crossref”，“first-pages”：“1”，“doi”：“10.1007\/BFb0035748”，“article-title”：“反应系统的可实现和不可实现规范”，“author”：“abadi”，“year”：“1989”，“journal-title“：“第十六届国际自动机语言与程序设计学术讨论会论文集ICALP'89”}，{“key”：“ref3”，“first-page”：“521”，“article-title”：“MOCHA:模型检查中的模块化”，“author”：“alur”，“year”：“1998”，“journal-title“：“第十届国际计算机辅助验证会议论文集”}：“10.1007\/BFb0028549”}，{“key”：“ref5”，“doi-asserted-by”：“crossref”，“author”：“dill”，“year”：“1989”，“journal-title”：“速度相关电路自动分层验证的迹线理论”，“doi”：“10.7551\/mitpress\/6874.001.0001”}“作者”：“爱默生”，“年份”：“1990年”，“新闻标题”：“理论计算机科学手册”}，{“key”：“ref7”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/SFCS.1988.21949”}：“10.1007\/3-540-48320-9_8”，“文章标题”：“自动化模块验证”，“作者”：“alur”，“年份”：“1999”，“期刊标题”：“CON-CUR'99并发理论第十届国际会议”}，{“密钥”：“ref9”，“doi断言者”：“crossref”，“首页”：“75”，“doi”：“10.1007\/3-540-6174-5_59”，“文章标题”：“模块检查”，“作者”：“kupferman”，“年份”：“1996”，“期刊标题”：“计算机辅助验证国际研讨会”}，{“key”：“ref20”，“首页”：“167”，“article-title”：“并发程序的验证：自动机理论框架”，“author”：“vardi”，”year“：”1987“，”journal-title“：”Proc Second IEEE Sympon Logic in Computer Science“}，”{“密钥”：“ref21”，“doi-asserted-by”：“publisher”，《doi》：“10.1006\/inco.1994.1092”}]，“event”：{“name”：“第16届IEEE计算机科学逻辑研讨会”，“location”：“Boston，MA，USA”，“缩写词”：“LICS-01”}，“container-title”：[“Proceedings 16th Annual IEEE Symposium on Logic in Computer Science”]，“original-title“：[]，”link“：[{”URL“http://explorestaging.iee.org\/ielx5\/7424\/20180\/00932505.pdf？arnumber=932505“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2020,3,11]]，”date-time“：“2020-03-11T04:35:18Z”，”timestamp“：1583901318000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://ieeexplore.iee.org\/document\/932505\/”}，“副标题”：[]，“短标题”：[]，“发出“：{“date-parts”：[[null]]}，“references-count”：21，“URL”：“http://\/dx.doi.org\/10.109\/lics.2001.932505”，“relation”：{}，”subject“：[]}}”