{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,7,29]]，“日期时间”：“2023-07-29T07:50:52Z”，“时间戳”：1690617052383}，“出版商位置”：“柏林，海德堡”，“参考计数”：2，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”value“9783642209192”，“type”：“print”}，{“value”：“9783642209208”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2011,1,1]]，“date-time”：“2011-01-01T00:00:00Z”，“timestamp”：1293840000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\/\/www.springer.com\/tdm”}，”content-domain“：{”domain“[]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2011]]}，“DOI”：“10.1007\/978-3642-20920-8_1”，“type”：“book-chapter”，“created”：{（日期-部件）：[[2011，4,28]]，“date-time”：“2011-04-28T08:54:38Z”，“timestamp”：1303980878000}，”page“：”1-1“，”source“：“Crossref”，”is-referenced-by-count“：9，”title“：[”Streaming String Transducers“]，”prefix“10.1007”“，”author“：[{”given“：”Rajeev“，”family“：”Alur“，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“1_CR1”，“doi-asserted-by”：“crossref”，“unstructured”：“Alur，R.，\u010cern\u00fd，P.：流串传感器的表达性。In:Proc.30th FSTTCS，pp.1\u201312（2010）”，“doi”：“10.1007\/978-3642-20920-8_1”}，{“key”：”1_CR2“doi-sserted-b”y“：”crossref“，”非结构化“：“Alur，R.，\u010cern\u00fd，P.：用于单次列表处理程序算法验证的流式变换器。摘自：Proc.38th POPL，pp.599\u2013610（2011）”，“DOI”：“10.1145\/1926385.1926454”}]，“container-title”：[“逻辑、语言、信息和计算”，“计算机科学课堂讲稿”]，“original-title“：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-20920-8_1”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期-部件”：[[2020,6,18]]，“日期-时间”：“2020-06-18T17:41:32Z”，“时间戳”：1592502092000}，“分数”：1，“资源”：{-“主要”:{“URL”：“http://\/link.springer.com/10.1007\/978-3642-20920-8_1”}}，“副标题”：[]，“短标题”：[]，“发布”：{“日期-部件”：[[2011]]}，”ISBN“：[”9783642209192“，”978364 2209208“]，“引用计数”：2，“URL”：“http://\\dx.doi.org\/10.1007\/9783-642-2092-8_1“，”关系“：{}”，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”，{“值”：“1611-3349”，“类型”：“电子”}]，“主题”：[]，“发布”：{“日期部分”：[[2011]]}}