{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T23:58:05Z”，“时间戳”：1725494285534}，“出版商位置”：“柏林，海德堡”，“参考计数”：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”，“type”：“book”，“created”：{“date-parts”：[[2007,11,3]]，“date-time”：“2007-11-03T14:03:37Z”，“timestamp”：1194098617000}，“source”：《Crossref》，“is-referenced-by-count”：1，“title”：[“验证和分析自动化技术”]，“prefix”：“101007”，《member》：“297”，“container-title”：【计算机科学课堂讲稿】]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-75596-8.pdf”，“content-type”：“application\/pdf”、“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http:\\/link.springer.com\/content\/pdf\/10.1007\/978-3540-75596.8”，“content-type：“未指定”，“content-version”：“vor”，“预期应用程序”：“相似性检查”｝]，“寄存”：｛“日期部分”：[[2019,5,19]，“日期时间”：“2019-05-19T14:50:53Z”，“时间戳”：1558277453000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com\/10.1007\/978-3-540-75596-8”｝，“副标题”：[“第五届国际研讨会，2007年ATVA，日本东京，10月22日\u201325，2007年会议记录”]，“编辑”：[{“given”：“Kedar S.”，“family”：“Namgashi”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Tomohiro”，“家庭”：“Yoneda”，“序列”：“additional”，“从属关系”：[]}，{“给定”：“Yoshio”，“family”：“Okamura”，“sequence”：“additional”，“affiliation”：[]｝]，“short title”：[]，“issued”：｛“date parts”：[[2007]]｝，“ISBN”：[“9783540755951”，“9783540755968”]，“references count”：0，“URL”：“http:\/\/dx.doi.org/10.1007\/978-3-540-75596-8”，“relationship”：｛｝，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN类型“：[｛”类型“：”打印“，”值“：”0302-9743“｝，｛”类型“：“electronic”，“value”：“1611-3349”}]，“subject”：[]，“published”：{“date-parts”：[[2007]]}}