{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T06:17:46Z”，“时间戳”：1725517066098}，“出版商位置”：“柏林，海德堡”，“参考计数”：14，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“9783540 853602“}，{”类型“：“electronic”，“value”：“9783540853619”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2008]]}，”DOI“：”10.1007\/978-3-540-85361-9_17“，”type“：”book-capter“，”created“：”{“date-part”：[2008,8,18]]，“date-time”：“2008-08-18T08:”28:04Z“，”时间戳“：1219048084000}，”页面“：”172-186“，“source”：“Crossref”，“由count引用”：1，“title”：[“Subsequence Invariants”]，“prefix”：“10.1007”，“author”：[｛”给定“：“Klaus”，“family”：“Dr\u00e4ger”，“sequence”：“first”，“affiliation”：[]｝，｛”给定“：“Bernd”，“family”：“Finkbeiner”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“297”，“reference”：[｛”issue“：“1”，“key”：“17_CR1”，“doi断言者”：“publisher”，“first-page”：“75”，“DOI”：“10.1023\/A:1008744030390”，“volume”：“15”，“author”：“S.Bensalem”，“year”：“1999”，“unstructured”：“Bensalem，S.，Lakhnech，Y.：不变量的自动生成。系统设计中的形式化方法，“doi-asserted-by”：“publisher”，“first page”：“49”，“doi”：“10.1016\/S0304-3975（96）00191-0”，卷：“173”，作者：“N.S.Bj\u00f8rner”，“年份”：“1997”，“非结构化”：“Bj\u 00f8nerer，N.S.，Browne，A.，Manna，Z.：不变量和中间断言的自动生成。理论计算科学.\u00a0173（1），49\u201387（1997）”，“新闻标题”：“理论计算科学”}，{“key”：“17_CR3”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“首页”：“420”，”doi“：”10.1007\/978-3-540-45069-6_39“，”volume-title“：”计算机辅助验证“，”author“：”M.Col\u00f3n“，”year“：”2003“，”unstructured“：“Col\u00f3n，M.，Sankaranarayanan，S.，Sipma，H.：使用非线性约束求解的线性不变量生成。收录：Hunt Jr.，W.A.，Somenzi，F.（编辑）CAV 2003。LNCS，第00a02725卷，第420\u2013432页。Springer，Heidelberg（2003）“}，{“key”：“17_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Cousot，P.，Halbwachs，N.：程序变量之间线性约束的自动发现。摘自：Proc.POPL，pp.84\u201397（1978年1月）”，“doi”：“10.1145\/512760.512770”}，}，“issue”：“1,2”，“key“：”17_CR5“，“首页”：“265”，“卷”：“73”，“author”“：”V.N.\u015eerb\u0103nu\u0163\u0103“，”year“：”2006“，”unstructured“：”\u01ferb\u0113nu\u 0163\u 0103，V.N.，\u 015eerlb\u 0103nu \u 0163 \u 0103，T.F.：重温了Parikh矩阵映射的内射性。芬丹。Inf.\u00a073（1,2），265\u2013283（2006）”，“期刊标题”：“基金会。Inf.“}，{”key“：”17_CR6“，”unstructured“：”Dr\u00e4ger，K.，Finkbeiner，B.：子序列不变量。技术报告\u00a042，SFB\/TR 14 AVACS（2008年6月），\n\n http://www.AVACS.org \n\n ISSN:1860-9821“}”，{“issue”：“1”，“key”：“17_CR7”，“doi-asserted-by”：“”crossref“，”first-page“：”68“，”DOI“：”10.1109\/TSE.1975.6312821“，”volume“：”1“，”author“：”S.M.German“，”year“：”1975“，”unstructured“：”German，S.M.，Wegbreit，B.：归纳断言的合成器。IEEE软件工程事务\u00a01（1），68\u201375（1975）“，“期刊标题”：“软件工程IEEE事务”}，{“关键字”：“17_CR8”，“首页”：“105”，“卷标题”：《单词组合学》，“作者”：“J.Sakarovitch”，“年份”：“1983”，“非结构化”：“Sakarovitch，J.，Simon，I.：子单词。In:Lothaire，M.（ed.）《单词组合学》，第105页\u2013144。Addison-Wesley，Reading（1983）“}，{”key“：”17_CR9“，”doi-asserted-by“：”publisher“，”first page“：“419”，”doi“：”10.1162\/153244302760200687“，”volume“：2”，”author“：”H.Lodhi“，”year“：”2002“，”unstructured“：”Lodhi，H.，Saunders，C.，Shawe-Tylor，J.，Cristiani，N.，Watkins，C.：使用字符串内核的文本分类。J。机器。学习。Res.\u00a02，419\u2013444（2002）“，“期刊标题”：“J.Mach。学习。Res.“}，{”issue“：”1“，”key“：”17_CR10“，”doi-asserted-by“：”publisher“，”first page“：“1”，“doi”：“10.1016\/j.jcss.2003.04.001”，“volume”：“68”，“author”：“A.Mateescu”，“year”：“2004”，“unstructured”：“Mateescu，A.，Salomaa，A.，Yu，S.：子词历史和Parikh矩阵。j.Compute.Syst.Sci.\u00a068（1），1 u201321（2004）“，《新闻标题》：”j。计算。系统。科学。“}，{”issue“：”4“，”key“：”17_CR11“，”doi-asserted-by“：”publisher“，”first page“：“541”，”doi“：”10.1109\/5.24143“，”volume“：：”77“，”author“：”T.Murata“，”year“：”1989“，”unstructured“：”Murata，T.：Petri网：属性、分析和应用。IEEE\u00a077（4），541\u2013580（1989）“，”journal-title“：”IEEE Proceedings of the IEEE“}”，{“问题”：“4”，“key“：”17_CR12“，”doi-asserted-by“：”publisher“，”first-page“：”570“，”doi“：”10.1145\/321356.321364“，”volume“：“13”，”author“：”R.J.Parikh“，”year“：”1966“，”unstructured“：”Parikh，R.J.：On context-free languages。J.ACM\u00a013（4），570\u2013581（1966）“，”journal-title“：”J.ACM“}，{”issue“：”12“，”key“：”17_CR13“，”doi-asserted-by“：”publisher“，”first-page“：”1741“，”doi“：”10.1016\/J.ic.2006.09.003“，”volume“：子字历史记录。Inf.Comput.\u00a0204（12），1741\u20131755（2006）“，”日记标题“：”信息计算。“}，{”key“：”17_CR14“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“113”，”doi“：”10.1007\/3-540-45319-9_9“，”volume-title“：“系统构建和分析的工具和算法”，“author”：“A.Tiwari”，“year”：“2001”，“unstructured”：“”Tiwari，A.，Rue\u00df，H.，Sa\u00efdi，H.，Shankar，N.：一种不变生成技术。收录：Margaria，T.，Yi，W.（编辑）TACAS 2001。LNCS，第00a02031卷，第113页\u2013127。Springer，Heidelberg（2001）“}”，“container-title”：[“计算机科学课堂讲稿”，“CONCUR 2008-并发理论”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10007\/978-3-540-85361-9_17”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{date-parts“：[[2019,3,2]，”date-time“：”2019-03-02T19:26:52Z“，”timestamp“：1551554812000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-85361-9_17”}，“副标题”：[]，“短标题”：[]，“已发布”：{“date-part”：[2008]]}，《ISBN》：[“9783540853602”，“9783540853619”]，“references-count”：14，“URL”：“http:\/\/dx.doi.org\/10.1007\/978-3-540-85361-9_17“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-7743“}，{”型号“：”电子“，”数值“：”1611-33049“}]，”主题“：[]，”发布“：{”日期部分“：[2008]]}}}}