{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T21:41:09Z”，“时间戳”：1725486069591}，“出版商位置”：“柏林，海德堡”，“参考计数”：0，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783839”540006244“}，{”类型“：”电子“，“value”：“9783540364986”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2003]]}，”DOI“：”10.1007\/3-540-36498-6_29“，”type“：”book-capter“，”created“：”{“date-part”：[2007,6,7]]，“date-time”：“2007-06-07T14:28:14Z”，“时间戳“：1181226494000}，”页面“：”415-415“，”源“：”交叉引用“，“is-referenced-by-count”：9，“title”：[“Using ASM Specifications for Compiler Testing”]，“prefix”：“10.1007”，“author”：[{“given”：“Alexey”，“family”：“Kalinov”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“亚历山大”，“系列”：“亚历山大”，“affiliation”：[]}，{“given”：“Mikhail”，“family”：“Posypkin”，”sequence“：“additional”，”affiliance“：[]neneneep，{”given“：”Vladimir“，”family“：”Shishko“，”segment“：”additional“，”affaliation“：[]}“member”：“297”，”published-online“：{”date-parts“：[[2003,3,14]}，”container-title“：[”计算机科学讲义“，”抽象状态机2003“]，”原始标题“：[]，“链接”：[｛“URL”：“http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36498-6_29”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”｝]，“存放”：｛“日期部分”：[[2014,7,30]，“日期-时间”：“2014-07-30T15:59:37Z”，“时间戳”：1406735977000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http://\/link.springer.com/10.1007\/3-540-36498-6_29”}}，“副标题”：[]，“短标题”：[]，“发布”：{“日期-部件”：[[2003]]}，”ISBN“：[”9783540006244“，”978354364986“]，“引用计数”：0，“URL”：“http://\\dx.doi.org\/10.1007\/3-540.36498-6_29”，“关系”：{}，：[“0302-9743”]，“ISSN-type”：[{“type”:“print”，“value”：“0302-7743”}]，“subject”：[]，“published”：{“日期部分”：[[2003]]}}}