{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,27]]，“日期时间”：“2024-04-27T20:31:19Z”，“时间戳”：1714249879556}，“出版商位置”：“柏林，海德堡”，“参考计数”：2，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540755951”，“类型”：“打印”}]，“内容域”用法：{“domain”：[]，“crossmark-restriction”：false}，“short-container-title”：[[]，“DOI”：“10.1007\/978-3-540-75596-8_35”，“type”：“book-chapter”，“created”：{”date-parts“：[[2007,11,3]]，“date-time”：“2007-11-03T14:03:37Z”，“timestamp”：1194098617000}，”page“501-510”，“source”：”Crossref“，“is-referenced-by-count”：1，“title“：[”$\\mathcal{THOTL}$简介“]，“前缀”：“10.1007”，“作者”：[{“给定”：“梅赛德斯·G”，“家族”：“Merayo”，“序列”：“第一”，“从属关系”：[]}，{“给出”：“曼努埃尔”，“家庭”：“N\u00fa\u00f1ez”，“sequence”：“附加”，“附属关系”：[]}“，”reference“：[{”key“：”35_CR1“，”unstructured“：“Merayo，M.G.，N\u00fa\u00f1ez，M.，Rodr\u00edguez，I.：THOTL:HOTL的定时扩展（2007），可在以下网址获得：\N\N http://\/kimba.mat.ucm.es\/testing\/papers\/THOTL.pdf”}，{“key”：“35_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“Rodr\u00edguez，I.，Merayo，M.G.，N\u00fa\u00f1ez，M.：HOTL：假设和观察测试逻辑。《逻辑与代数编程杂志》（出版，2007年），\N\N http://dx.doi.org\/10.1016\/j.jlap.2007.03.002”，“doi”：“10.1016\/j.jlap.2007.002”}]，“container-title”：[“用于验证和分析的自动化技术”，“计算机科学课堂讲稿”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-75596-8_35.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期”用法：[2021,4,27]]，“日期时间”：“2021-04-27T10:25:28Z”，“时间戳”：1619519128000}，“分数”：1，“资源”：{“主要”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-75596-8_35”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[null]]}，‘ISBN’：[”9783540755951“]，”reference nces-count“：2，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-75596-8_35“，“关系”：{}，“主题”：[]}}