{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,7,16]]，“日期-时间”：“2022-07-16T08:48:48Z”，“时间戳”：1657961328308}，“参考-计数”：21，“出版商”：“IEEE”，“许可证”：[{“开始”：{'日期-部件“：[2019,7,1]]，”日期-时间“：”2019-07-01T00:00:00 Z“，”timestamp“：1561939200000}，”content-version“：”vor“，“delay-in-days”：0，“URL”：“https:\/\/ieeexplore.iee.org\/Xplorehelp\/downloads\/license-information\/ieee.html”}，{“start”：{“date-parts”：[[2019,7,1]]，“date-time”：“2019-07-01T00:00:00Z”，“timestamp”：1561939200000}，“content-version”：“stm-asf”，“delay-in-days“：0，”URL“https:\\/doi.org\/10.1 5223\/policy-029“}，{“开始”：{“日期部分”：[[2019,7,1]]，“date-time”：“2019-07-01T00:00:00Z”，“timestamp”：1561939200000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-037”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”shortcontainer-title“：[]，”published-print“：{”date-parts“：[2019,7]}，“doi”：“10.1109\/tase.2019.000-1”，“类型”：“procesdings-article”，“created”：{“date-parts”：[[2019,11,29]]，“date-time”：“2019-11-29T14:31:59Z”，“timestamp”：1575037919000}，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“在战略逻辑中可以实现低复杂性和大交互”]，“prefix”：“10.1109”，”author“[{”given“give”：“Patrick”，“family”：“Gardy”，“sequence”：“first”，“affiliation”：[]}]，“成员”：“263”，“引用”：[{“key”：“ref10”，“首页”：“92”，“author”：“brihaye”，“年份”：“2009”，“日志标题”：“具有策略上下文和有限内存的ATL”}，{“key”：”ref11“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/j.ic.2014.12.020“}，”{“密钥”：“ref12”，“doi-assert-by”：“publisher”，“doi”：“10.1007\/978-3-540-45138-9_58”}，{“键”：“参考13”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-32940-1_15”}，{“key”：“ref14”，“doi-asserted-by”：”publisher“，”doi“：”10.1145\/2631917“}，“key“：单对战中布尔目标的加权策略逻辑”，“作者”：“bouyer”，“year”：“2015”，“journal-title”：“第35届IARCS软件技术与理论计算机科学基础年会FSTTCS 2015”}，{“key”：“ref17”，“first page”：”34:1“，”article-title“：”战略逻辑中的依赖性“，”author“：”gardy“，”year“：”2018“，”journal-title“：“2018年第35届计算机科学理论研讨会”}，{“key”：“ref18”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/75277.75293”}8“}，{”key“：”ref3“，”doi-asserted-by“：“publisher”，“DOI”：“10.1016\/j.tcs.2005.07.043”}，{“key”：“ref6”，“DOI-asserted-by”：“publicher”，“DOI”：“10.4204\/EPTCS.229.10”}、{“密钥”：“ref5”，“article-title”：“反应合成竞争”，“年份”：“0”}“key”：“ref7”，“article-title”：“Mcmas model-checker”，“year”：“0”}，{“key“：“ref2”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/SFCS.1997.646098”}，{“key”：“ref1”，“doi-asserte-by”：“publisher”，“DI:”10.1109\/LICS.2000.855763：“publisher”，“doi”：“10.1109\/LICS.2006.28”}，{“key”：“ref21”，“doi-asserted-by”：“publisher”，“DOI”：“10.1016\/S0898-1221（00）00333-3”}]，“event”：{“name”：“2019年软件工程理论方面国际研讨会（TASE）”，“location”：“中国桂林”，“start”：{-“date-parts”：[[2019,7,29]]}，“end”：{--“date-parts”：[2019,7,31]]}}，”container-title“：[“2019年软件工程理论方面国际研讨会（TASE）”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx7\/8905921\/8913869\/08914131.pdf？arnumber=8914131”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“存放”：{“date-parts”：[2022,7,15]]，“日期时间”：“2022-07-15T03:23:20Z”，“时间戳”：1657855400000}，“分数”：1，“资源”：{“主要”：{“URL”：“https:\/\/ieeexplore.ieee.org\/document\/8914131\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2019,7]}”，“references-count”：21，”URL“http:”\/\/dx.doi.org\/10.109\/tase.2019.000-1“，”关系“：{}，”主题“：[]，“已发布”：{“日期部分”：[[2019,7]]}}}