{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T23:58:16Z”，“时间戳”：1725494296259}，“出版商位置”：“柏林，海德堡”，“参考计数”：0，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540755951“}，{”类型“：”电子“，“value”：“9783540755968”}]，“license”：[{“start”：{“date-parts”：[[2007,1,1]]，“date-time”：“2007-01-01T00:00:00Z”，“timestamp”：11676096000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}]short-container-title“：[]，”published-print“：{”date-parts“：[[2007]]}，“DOI”：“10.1007 \/978-3-540-75596-8_2”，“type”：“book-chipter”，“created”：{“date-parts”：[[2007,11,3]]，“date-time”：“2007-11-03T10:03:37Z”，“timestamp”：1194084217000}，“page”：”15-16“，“source”：《Crossref》，“is-referenced-by-count”：0，“title”：[“行业最新趋势和对DA Research的期望”]，“前缀”：”10.1007“，“author”：[{”给定“：”Atsushi“，”family“：“长谷川”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“container-title”：[“计算机科学课堂讲稿”，“验证和分析自动化技术”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“http://link.springer.com/content\/pdf\/10007\/978-3-540-75596-8_2”，“content-type”：“unspecified”，“content-version”：“vor”，“意向应用程序”：“相似性检查”}]，“存放”：{“日期部分”：[[2019,5,19]]，“日期时间”：“2019-05-19T10:51:00Z”，“时间戳”：1558263060000}，“分数”：1，“资源”：{primary“：{”URL“：”http://link.springer.com\/10007\/978-3-540-75596-8_2“}”，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分“：[2007]]}，“ISBN”：[“9783540755951”，“9783540755968”]，“references-count”：0，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-540-75596-8_2”，“relation”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，”ISSN-type“：[{”type“:”print“，”value“：”0302-974“}，{”类型“：”electronic“，”value“：“1611-349”}]，“subject”：[]，“published”：{日期部分“：[[2007]]}}}