{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,9]]，“日期时间”：“2024-09-09T03:44:48Z”，“时间戳”：1725853488100}，“出版商位置”：“柏林，海德堡”，“参考计数”：6，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“键入”：“打印”，“值”：“979 83662496732“}，{”类型“：”电子“，“value”：“9783662496749”}]，“license”：[{“start”：{“date-parts”：[[2016,1,1]]，“date-time”：“2016-01-01T00:00:00Z”，“timestamp”：1451606400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}]“：false}，”short-container-title“：[]，”published-print“用法：{“date-parts”：[[2016]]}，“DOI”：“10.1007\/978-3662-49674-9_68”，“type”：“book-chapter”，“created”：{”date-part“：[[2016，4,8]]，“date-time”：“2016-04-08T18:49:00Z”，“timestamp”：146014140000}，”page“：”950-953“，”update-policy“http://dx.DOI.org\/10007\/springer_crossmark_policy”，“source”“：”Crossref“，”is-referenced-by-count“：13，”title“：[“带双轨证明的终极Automizer”]，“前缀”：“10.1007”，“作者”：[{“given”：“Matthias”，“family”：“Heizmann”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Daniel”，”family“：”Dietsch“，”sequence“：”additional“，”affiliance“：[]]}，：“Jan”，“family”：“Leike”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Betim”，“family”：“Musa”，“segment”：“附加的”，“从属的”：[]}在线发布“：{“date-parts”：[[2016,4,9]]}，“reference”：[{“key”：“68_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：“Beyer，D.，Dangl，M.，Dietsch，D.、Heizmann，M.、Stahlbauer，A.：见证验证和跨软件验证器的逐步验证。摘自：ESEC\/FSE，pp.721\u2013733。ACM（2015）“，”DOI“：”10.1145\/2786805.2786867“}，{”key“：”68_CR2“，”DOI-asserted-by“：”crossref“，”first page“：“770”，“DOI”：“10.1007\/978-3662-49674-9_49”，“volume-title”：“系统构建和分析的工具和算法”，“author”：“Franti\u0161ek Blahoudek”，“year”：“2016”，“unstructured”：“”Blahoudek，F.，Heizmann，M.，Schewe，S.，Strejcek，J.，Tsai，M.-H.：补充半确定性B\u00fcchi自动机。收录于：Chechik，M.，Raskin，J.-F.（编辑）TACAS 2016，LNCS，第9636卷，第770\u2013787页。Springer，Heidelberg（2016）“}，{”key“：”68_CR3“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“37”，”doi“：”10.1007\/978-3319-21668-3_3“，“volume-title”：“计算机辅助验证”，“author”：“J Christ”，“year”：“2015”，“unstructured”：“Christ，J.，Hoenicke，J.：减少混合。收录人：Kroening，D.，P\u0103s\u0103reanu，C.S.（eds.）CAV 2015。LNCS，第9207卷，第37\u201352页。Springer，Heidelberg（2015）“}，{”key“：”68_CR4“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“36”，”doi“：”10.1007\/978-3642-39799-8_2“，”volume-title“：“计算机辅助验证”，”author“：”M Heizmann“，”year“：”2013“，”unstructured“：”Heizmann，M.，Hoenike，J.，Podelski，A.：为喜欢自动机的人进行软件模型检查。收录：Sharygina，N.，Veith，H.（编辑）CAV 2013。LNCS，第8044卷，第36\u201352页。Springer，Heidelberg（2013）“}，{”key“：”68_CR5“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“797”，”doi“：”10.1007\/978-3-198867-9_53“，”volume-title“：“计算机辅助验证”，”author“：”M Heizmann“，”year“：”2014“，”unstructured“：”Heizmann，M.，Hoenicke，J.，Podelski，A.：通过学习终止程序进行终止分析。摘自：Biere，A.，Bloem，R.（编辑）CAV 2014。LNCS，第8559卷，第797\u2013813页。Springer，Heidelberg（2014）“}，{“key”：“68_CR6”，“doi-asserted-by”：“crossref”，“unstructured”：“Leike，J.，Heizmann，M.：线性循环的排名模板。逻辑方法计算科学11（1:16）（2015）”，“doi”：“10.2168 \/LMCS-11（1:15）2015”}]，“container-title”：[“计算机科学课堂讲稿”，“系统构建和分析的工具和算法“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3662-49674-9_68“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2020,3,24]]，”date-time“2020-03-24T01:17:14Z“，”timestamp“：1585012634000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/link.springer.com/10.1007\/978-3662-49674-9_68”}}，“subtitle”：[“（竞争贡献）”]，“shorttitle”：[]，“issued”：{“date-parts”：[2016]}，《ISBN》：[“9783662496732”，“97832692496749”]，”references-count“：6，“URL”：“http:\/\/dx.doi.org\/10.1007\/978-3662-49674-9_68“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-7743“}，{”型号“：”电子“，”数值“：”1611-33049“}]，”主题“：[]，”发布“：{”日期段“：[2016]]}，“断言”：[{“值”：“”2016年4月9日“，”订单“：1，”名称“：”first_online“，”标签“：”first online“，“群组”：{“name”：“ChapterHistory“，”label“：”Chapter History”}}，{“value”：“此内容已对所有人可用。”，“name”：“free”，“label”：“free to read”}]}}