{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T17:56:26Z”，“时间戳”：1725558986109}，“出版商位置”：“柏林，海德堡”，“参考计数”：4，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“类型”：”打印“，“值”：“9783540 253334“}，{”类型“：”电子“，“value”：“9783540319801”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2005]]}，”DOI“：”10.1007\/978-3-540-31980-1_35“，”type“：”book-capter“，”created“：”{“date-part”：[2010,7,11]]，“date-time”：“2010-07-11T22:44:59Z”，“timestamp”：1278888299000}，“page”：“541-545”，“source”：“Crossref”，“is-referenced-by-count”：23，“title”：[“jMoped:A Java Bytecode Checker Based on Moped”]，“prefix”：“10.1007”，”author“：[{”given“：”Dejvuth“，”family“：”Suwimonteerabbth“，”sequence“：”first“，”affiliation“：[]}，{“given”：“Stefan”，“family”：“Schwoon”，“sequence”：“additional”，“afliation”：[]{“given”：“Esparza”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“35_CR1”，“unstructured”：“Schwoon，S.：模型检查Pushdown Systems.博士论文，TU Munich（2002）”}，{“密钥”：“35 _CR2”，“非结构化”：“Suwimonteerabth，D.：使用Moped模型检查器验证Java字节码。Master\u2019s论文，斯图加特大学（2004）”}.，{，“key“：”35_CR3“，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“505”，“doi”：“10.1007\/3-540-36577-X_37”，“volume-title”：《系统构建和分析的工具和算法》，“author”：“M.Vaziri”，“year”：“2003”，“unstructured”：“Vaziri，M.，Jackson，D.：使用约束解算器检查堆操作过程的属性。收录：Garavel，H.，Hatcliff，J.（编辑）TACAS 2003。LNCS，第u00a02619卷，第505\u2013520页。Springer，Heidelberg（2003）“}，{”key“：”35_CR4“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“324”，”doi“：”10.1007\/3-540-44585-4_30“，”volume-title“：“计算机辅助验证”，”author“：”J.Esparza“，“year”：“2001”，“unstructured”：“Esparza，J.，Schwoon，S.：递归程序的基于BDD的模型检查器。收录：Berry，G.，Comon，H.，Finkel，A.（编辑）CAV 2001。LNCS，第u00a02102卷，第324\u2013336页。Springer，Heidelberg（2001）“}]，“容器标题”：[“计算机科学讲义”，“系统构建和分析的工具和算法”]，“原标题”：[]，“链接”：[{“URL”：“http:\/\/link.Springer.com\/content/pdf\/10.1007\/978-3-540-31980-1_35.pdf”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查“}”，“存放”：{“日期部分”：[[2021,5,3]]，“日期时间”：“2021-05-03T03:44:38Z”，“时间戳”：1620013478000}，“分数”：1，“资源”：{“主要”：{-“URL”：“http://\/link.springer.com\/10.1007\/978-3-400-31980-1_35”}}，“ISBN”：[“9783540253334”，“9783540319801”]，“references-count“：4，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-31980-1_35“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”类型“：”electronic“，”value“：“1611-3399”}]，”主题“：[]，”发布“：{”date-parts“：[2005]]}}}