{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2022,4,3]]，“日期时间”：“2022-04-03T03:30:54Z”，“时间戳”：1648956654614}，“引用计数”：4，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“发布发布者”：{“日期部分”：[[2011,10]]}，“DOI”：“10.1109\/safeconfig.2011.6111670”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2011,12,29]]，“date-time”：“2011-12-29T16:04:11Z”，“timestamp”：1325174651000}，“source”：”Crossref“，”is-referenced-by-count“：0，“title”：[“A dynamic configuration validation language”]，“prefix”：“10.1108”，“author”：[{“给定”：“Ludi”，“family”：“Akue”，“序列“：”第一个“，“affiliation”：[]}，{“given”：“Emmanuel”，“family”：“Lavinal”，“sequence”：“additional”，”affiliance“：[]neneneep，{”given“：”Michelle“，”family“：”Sibilla“，”sequence“：”additional“，”affaliation“：[]}”，“member”：“263”，“reference”：[{“key”：”3“，”“doi-asserted-by”：”crossref“，“first-page”：“16”，“doi”：“10.1145\/1496909.1496915“，”文章标题“：“The smartfrog configuration management framework”，“volume”：“43”，“author”：“goldsack”，“year”：“2009”，“journal-title”：“SIGOPS Oper Syst Rev”}，{“密钥”：“2”，“文章标题”：“Lcfg-下一代”，“作者”：“anderson”，“年份”：“0”，“日记标题”：《UKUUG 2002年冬季会议》}，“key”：：“10.1109\/ASE.2006.12”}，{“key”：“4”，“doi-asserted-by”：“publisher”，“doi”：“10.109\/CNSM.2010.5691219”}]，“event”：{“name”：“2011配置分析与自动化研讨会（SAFECONFIG）”，“location”：“弗吉尼亚州阿灵顿”，“start”：{-“date-parts”：[2011,10,31]]}，“end”：{“date-parts”：[[2011,11,1]]}}，”container蒂尔”：[“2011年第四届配置分析与自动化研讨会（SAFECONFIG）”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/609688\/611661\/06111670.pdf？arnumber=6111670”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2017,6,20]]，“date-time”：“2017-06-20T08:02:18Z”，“timestamp”：1497945738000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/ieeexplore.iee.org\/document\/611670\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2011,10]]}”，“references-count”：“4，”URL“http://\/dx.doi.org”\/10.109\/safeconfig.2011.6111670“，”关系“：{}，”主题“：[]，”已发布“：{“日期部分”：[[2011,10]]}}