{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,1,9]]，“日期时间”：“2023-01-09T07:30:14Z”，“时间戳”：1673249414611}，“引用-计数”：11，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记-限制”：false}，”短容器时间“：[]”，“发布-打印”：{“日期部分”：[[2012,6]]}，“DOI”：“10.1109\/mise.2012.6226016”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2012,7,9]]，“date-time”：“2012-07-09T21:25:47Z”，“timestamp”：1341869147000}，“source”：《Crossref》，“is-referenced-by-count”：9，“title”：[“部分模型转换的语义”]，“prefix”：“10.109]，“author”：[{“given”：”Michalis“，“family”：“Familis”“，”sequence“：”first“，“affiliation”：[]}，{“given”：“Rick”，“family”：“Salay”，“sequence”：“additional”，“affeliance”：[]}“：”2“，”doi-asserted-by“：”publisher“，“DOI”：“10.1142\/9789812384720_0003”}，{“key”：“10”，“DOI-asserted-by”：“publisher”，“DOI:”10.1109\/ICST.2012.199“}，}“key:”1“，”first page“：”299“，”article-title“：”The MathSAT 4 SMT Solver“，”author“：”brutomesso“，”year“：”2008“，”journal-title”：“CAV'08'的会议记录”}、{“key”：”7“，”第一页“：”65“，”文章标题“：”多彻底就够了？“，“author”：“gurfinkel”，“year”：“2005”，“journal-title”：“CHARME'05会议记录”}，{“key”：“6”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ICSE.2012.6227159”}：“10.1007\/978-3-540-30203-2_12”}，{“key”：“9”，“doi-asserted-by”：“publisher”，“DOI”：“10.1145\/1595696.1595731”}，{“key”：“8”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1109\/LICS.1988.5119“}，}“keys”：“11”，“article-title”：“使用部分建模进行独立于语言的优化”，“author”：“salay”，“year”：“2012”，“journal-title“：”FASE'12“}]，“event”：{“name”：“2012年第四届软件工程建模国际研讨会（MiSE 2012）”，“地点”：“苏黎世”，“开始”：{“date-parts”：[[2012,6,2]}，“结束”：{“date-parts”：[2012,6,3]]}}，《container-title》：[“2012年软件工程建模第四届国际研讨会（MiSE）”]，“原文标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/6220314\/6226004\/06226016.pdf？arnumber=6226016”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[[2020,2,5]]，“日期时间”：“2020-02-05T21:22:28Z”，“时间戳”：1580937748000}，“分数”：1，“资源”：{“主要”：{“URL”：“https:\/\/ieexplore.ieee.org/document\/626016\/”｝｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2012,6]]｝，“引用次数”：11，“URL”：“http:\/\/dx.doi.org/10.1109\/mise.2012.6226016”，“关系”：｛｝，“主题”：[]，“已发布”：｛“日期部分”：[[2012,6]]｝｝｝