{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,10]]，“日期时间”：“2024-09-10T03:10:37Z”，“时间戳”：1725937837682}，“发布者位置”：“Cham”，“引用计数”：45，“发布商”：“Springer International Publishing”，“isbn-type”：[{“键入”：“打印”，“值”：“9783319415277”}{“type”：“电子”，“value”：“9783319415284”}]，“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”}-01T00:00:00Z“，“timestamp”：1451606400000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“http://www.springer.com//tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2016]}，”DOI“：”10.1007\/978-3-319-41528-4_15“，”type“：”book-chapter“，”created“：{”date-part“：[[[2016,7,12]]，“日期-时间”：“2016-07-12T05:34:06Z”，“时间戳”：1468301646000}，“页面”：“271-291”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“交叉引用”，“is-referenced-by-count”：17，“标题”：[“通过隐式抽象和良好关系实现无限状态生命安全”]，“前缀”：“10.1007”，”作者“：[{”给定“Jakub”，“家族”：“Daniel”、“序列”：“第一个“，“affiliation”：[]}，{“given”：“Alessandro”，“family”：“Cimatti”，“sequence”：“additional”，“affaliation”（从属关系）：[]}“：”附加“，”从属“：[]}]，”成员“：“297”，“published-online”：{“date-parts”：[[2016,7,13]]}，“reference”：[{“issue”：“2”，“key”：“15_CR1”，“doi-asserted-by”：“publisher”，”first page“：”250“，”doi“：”10.1016\/j.tcs.2005.11.026“，”volume“：“354”，”author“：”R Alur“，”year“：”2006“，”unstructured“：“Alur，R.，Dang，T.，Ivancic，F.：混合系统的反例引导谓词抽象。Theor.Comput.Sci.354（2），250\u2013271（2006）”，“journal-title”：“Theor.Cumput.Sci.”}，{“issue”：“2”，“key”：“15_CR2”，“doi-asserted-by”：“publisher”，“first page”：《183》，“doi”：“10.1016\/0304-975（94）90010-8”，“volume”：”126“，“作者”：“R Alur”，“年份”：“1994”，“非结构化”：“Alur，R.，Dill，D.L.：时间自动机理论。Theor.Comput.Sci.126（2），183\u2013235：“网络化和分布式系统的形式化技术——FORTE 2005”，“作者”：“I Balaban”，“年份”：“2005”，《非结构化》：“Balaban，I.，Pnueli，A.，Zuck，L.D.：将抽象作为谓词抽象的伴生。摘自：Wang，F.（ed.）FORTE 2005。LNCS，第3731卷，第1\u201312页。Springer，Heidelberg（2005）“}，{“键”：“15_CR4”，“非结构化”：“Basu，A.，Bozga，M.，Sifakis，J.：BIP中的异构实时组件建模。in：SEFM，pp.3\u201312。IEEE Computer Society（2006）“}，{”key“：”15_CR5“，”doi-asserted-by“：”crossref“，”first page“：“232”，”doi“：”10.1007\/BFb0020949“，”volume-title“：”Hybrid Systems III“，”author“：”Johan Bengtsson“，”year“：”1996“，”unstructured“：”Bengtsson，J.、Larsen，K.G.、Larrson，F.、Pettersson，P.、Yi，W.：Uppaal——实时系统自动验证的工具套件。在：Hybrid Systems，pp.232\u2013243（1995）“}，{“issue”：“2”，“key”：“15_CR6”，“doi-asserted-by”：“publisher”，“first page”：”160“，“doi”：“10.1016\/S1571-0661（04）80410-9”，”volume“：”66“，”author“：”A Biere“，”year“：”2002“unstructured”：“Biere，A.，Artho，C.，Schuppan，V.：生命检查作为安全检查。Electr.Notes Theor.Compute。科学66（2），160\u2013177（2002）“，”新闻标题“：”选举。理论注释。计算。科学。“}，{”key“：”15_CR7“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“326”，“doi”：“10.1007\/978-3319-24953-7_25”，“volume-title”：“自动验证和分析技术”，“author”：“S Bliudze”，“year”：“2015”，“unstructured”：“”Bliudze，S.、Cimatti，A.、Jaber，M.、Mover，S.，Roveri，M.，Saab，W.、Wang，Q.：无限状态BIP模型的形式验证。收录：Finkbeiner，B.等人（编辑）ATVA 2015。LNCS，第9364卷，第326\u2013343页。斯普林格，海德堡（2015）。doi:\n 10.1007\/978-3-319-24953-7_25“}，{“issue”：“3”，“key”：“15_CR8”，“doi-asserted-by”：“publisher”，“first-page”：“101”，“doi”：“10.1016\/j.entcs.2005.02.061”，“volume”：”138“，“author”：“A Bouajani”，“year”：“2005”，“unstructured”：“Bouajjani，A.，Legay，A.，Wolper，P.：处理（$\\omega$）中的活性属性美元-）定期模型检查。选举人。理论注释。计算。科学。138（3），101\u2013115（2005）“，“新闻标题”：“选举。理论注释。计算。科学。“}，{”key“：”15_CR9“，”doi-asserted-by“：”publisher“，”首页“：”464“，”doi“：”10.1016\/j.scico.2014.06.003“，”卷“：”98“，”作者“：”M Bozzano“，”年份“：”2015“，”非结构化“：”Bozzano，M.、Cimatti，A.、Lisagor，O.、Mattarei，C.、Mover，S.、Roveri，M.和Tonetta，S.：通过符号模型检查对AltaRica模型进行安全评估。科学。计算。程序。98，464\u2013483（2015）“，“新闻标题”：“科学。计算。程序。“}，{”key“：”15_CR10“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first-pages“：”70“，”doi“：”10.1007\/978-3642-18275-4_7“，”volume-title“：“验证、模型检查和抽象解释”，”author“：”AR Bradley“，”year“：”2011“，”unstructured“：”Bradley，A.R.：基于SAT的模型检查，无需展开。In：Jhala，R.，Schmidt，D.（编辑）VMCAI 2011。LNCS，第6538卷，第70\u201387页。Springer，Heidelberg（2011）“}，{“key”：“15_CR11”，“series title”：“计算机科学讲义”，“doi断言者”：“出版商”，“首页”：“413”，“doi”：“10.1007\/978-3-642-39799-8_28”，“卷标题”：“计算机辅助验证”，“作者”：“M Brockschmidt”，“年份”：“2013”，“非结构化”：“Brockschmidt，M.，Cook，B.，Fuhs，C.：通过合作实现更好的终止。收录：Sharygina，N.，Veith，H.（编辑）CAV 2013。LNCS，第8044卷，第413\u2013429页。Springer，Heidelberg（2013）“}，{”key“：”15_CR12“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“334”，”doi“：”10.1007\/978-319-08867-9_22“，“volume-title”：“计算机辅助验证”，“author”：“R Cavada”，“year”：“2014”，“unstructured”：“Cavada，R.，Cimatti，A.，Dorigatti，M.，Griggio，A.，Mariotti，A.，Micheli，A.，Mover，S.，Roveri，M..，Tonetta，S.：nuXmv符号模型检查器。摘自：Biere，A.，Bloem，R.（编辑）CAV 2014。LNCS，第8559卷，第334\u2013342页。Springer，Heidelberg（2014）“}，{”key“：”15_CR13“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“310”，”doi“：”10.1007\/978-3642-22110-1_24“，”volume-title“：“计算机辅助验证”，”author“：”A Cimatti“，”year“：”2011“，”unstructured“：”Cimatti，A.，Griggio，A.，Micheli，A.，Narasamdya，I.，Roveri，M.：Kratos\u2013系统C的软件模型检查器。收录：Gopalakrishnan，G.，Qadeer，S.（编辑）CAV 2011。LNCS，第6806卷，第310\u2013316页。Springer，Heidelberg（2011）“}，{”key“：”15_CR14“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“46”，”doi“：”10.1007\/978-3642-54862-8_4“，“volume-title”：“系统构建和分析的工具和算法”，“author”：“A Cimatti”，“year”：“2014”，“unstructured”：“Cimatti，A.、Griggio，A.、Mover，S.、Tonetta，S.：通过隐式谓词抽象的IC3模理论。收录于：\u00c1brah\u00e1m，E.，Havelund，K.（编辑）TACAS 2014（ETAPS）。LNCS，第8413卷，第46\u201361页。Springer，Heidelberg（2014）“}，{”key“：”15_CR15“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“424”，”doi“：”10.1007\/978-319-08867-9_28“，”volume-title“：“计算机辅助验证”，”author“：”A Cimatti“，”year“：”2014“，”unstructured“：”Cimatti，A.，Griggio，A.，Mover，S.，Tonetta，S.：使用K-Liveness验证混合系统的LTL属性。摘自：Biere，A.，Bloem，R.（编辑）CAV 2014。LNCS，第8559卷，第424\u2013440页。Springer，Heidelberg（2014）“}，{”key“：”15_CR16“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“52”，”doi“：”10.1007\/978-3662-46681-0_4“，”volume-title“：“系统构建和分析的工具和算法”，“author”：“A Cimatti”，“year”：“2015”，“unstructured”：“Cimatti，A.，Griggio，A.，Mover，S.，Tonetta，S.：HyComp：一种用于混合系统的基于SMT的模型检查器。收录：Baier，C.，Tinelli，C.（编辑）TACAS 2015。LNCS，第9035卷，第52页\u201367。Springer，Heidelberg（2015）“}，{”key“：”15_CR17“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“93”，”doi“：”10.1007\/978-3642-36742-7_7“，“volume-title”：“系统构建和分析的工具和算法”，“author”：“A Cimatti”，“year”：“2013”，“unstructured”：“Cimatti，A.，Griggio，A.，Schaafsma，B.J.，Sebastiani，R.：数学SAT5 SMT求解器。收录：Piterman，N.，Smolka，S.A.（编辑）TACAS 2013（ETAPS 2013）。LNCS，第7795卷，第93页\u2013107。Springer，Heidelberg（2013）“}，{“key”：“15_CR18”，“unstructured”：“Claessen，K.，S\u00f6rensson，N.：一种重要的活性检查算法。见：FMCAD，第52\u201359页。IEEE（2012）“}，{”issue“：”5“，”key“：”15_CR19“，”doi-asserted-by“：”publisher“，”first page“：“752”，”doi“：”10.1145\/876638.876643“，”volume“：，752\u2013794（2003）“，”journal-title“：”J.ACM“}，{“key”：“15_CR20”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“first page”：”384“，”doi“：”10.1007\/978-3662-46681-0_30“，”volume-title：“系统构建和分析的工具和算法”，“author”：“B Cook”，“year”：“2015”，“unstructured”：“”Cook，B.，Khlaaf，H.，Piterman，N.：无限状态系统的公平性。收录：Baier，C.，Tinelli，C.（编辑）TACAS 2015。LNCS，第9035卷，第384\u2013398页。Springer，Heidelberg（2015）“}，{”key“：”15_CR21“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“13”，”doi“：”10.1007\/978-3319-21690-4_2“，”volume-title“：“计算机辅助验证”，”author“：”B Cook“，”year“：”2015“，”unstructured“：”Cook，B.，Khlaaf，H.，Piterman，N.：关于无限状态系统的CTL*验证自动化。收录人：Kroening，D.，P\u0103s\u0103reanu，C.S.（eds.）CAV 2015。LNCS，第9206卷，第13页\u201329。Springer，Heidelberg（2015）“}，{”key“：”15_CR22“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“333”，”doi“：”10.1007\/978-3642-22110-1_26“，”volume-title“：“计算机辅助验证”，”author“：”B Cook“，”year“：”2011“，”unstructured“：”Cook，B.，Koskinen，E.，Vardi，M.：作为程序分析任务的时间属性验证。收录：Gopalakrishnan，G.，Qadeer，S.（编辑）CAV 2011。LNCS，第6806卷，第333\u2013348页。Springer，Heidelberg（2011）“}，{”issue“：”6“，”key“：”15_CR23“，”doi-asserted-by“：”crossref“，”first page“：“415”，“doi”：“10.1145\/1133255.1134029”，“volume”：“41”，“author”：“Byron Cook”，“year”：“2006”，“unstructured”：“Cook，B.，Podelski，A.，Rybalchenko，A.：系统代码的终止证明。In:PLDI，pp.415\u2013426（2006）”，“日志标题“：”ACM SIGPLAN通知“}，{”key“：”15_CR24“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“49”，”doi“：”10.1007\/978-3319-21690-4_4“，”volume-title“：“计算机辅助验证”，“author”：“D Dietsch”，“year”：“2015”，“unstructured”：“Dietsch，D.，Heizmann，M.，Langenfeld，V.，Podelski，A.：公平模理论：LTL软件模型检查的新方法。收录人：Kroening，D.，P\u0103s\u0103reanu，C.S.（编辑）CAV 2015。LNCS，第9206卷，第49\u201366页。Springer，Heidelberg（2015）“}，{”key“：”15_CR25“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“232”，”doi“：”10.1007\/10722167_20“，”volume-title“：“计算机辅助验证”，“author”：“J Esparza”，“year”：“2000”，“unstructured”：“Esparza，J.、Hansel，D.、Rossmanith，P.、Schwoon，S.：模型检查下推系统的高效算法。摘自：艾默生，E.A.，西斯特拉，A.P.（编辑）CAV 2000。LNCS，第1855卷，第232\u2013247页。Springer，Heidelberg（2000）“}，{”key“：”15_CR26“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“53”，”doi“：”10.1007\/3-540-44585-4_6“，”volume-title“：“计算机辅助验证”，”author“：”P Gastin“，”year“：”2001“，”unstructured“：”Gastin，P.，Oddoux，D.：快速LTL到B\u00fcchi自动翻译。收录：Berry，G.、Comon，H.、Finkel，A.（编辑）《计算机辅助验证》。LNCS，第2102卷，第53页\u201365。Springer，Heidelberg（2001）“}，{”key“：”15_CR27“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“22”，”doi“：”10.1007\/978-3642-14203-1_3“，“volume-title”：“Automated Reasoning”，“author”：“S Ghilardi”，“year”：“2010”，“unstructured”：“Ghilardi，S.，Ranise，S.：MCMT：模型检验模理论。收录：Giesl，J.，H\u00e4hnle，R.（编辑）IJCAR 2010。LNCS，第6173卷，第22\u201329页。Springer，Heidelberg（2010）“}，{”key“：”15_CR28“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“72”，”doi“：”10.1007\/3-540-63166-6_10“，”volume-title“：“计算机辅助验证”，”author“：”S Graf“，”year“：”1997“，”unstructured“：”Graf，S.，Sa\u00efdi，H.：用PVS构造抽象状态图。在：Grumberg，O.（编辑）CAV 1997。LNCS，第1254卷，第72\u201383页。Springer，Heidelberg（1997）“}，{“问题”：“6”，“关键”：“15_CR29”，“doi-asserted-by”：“交叉引用”，“首页”：“405”，“doi”：“10.1145\/2345156.2254112”，“卷”：“47”，“作者”：“Sergey Grebenshchikov”，“年份”：“2012”，“非结构化”：“Grebenshchikov，S.，Lopes，N.P.，Popeea，C.，Rybalchenko，A.：根据证明规则合成软件验证器。收录于：PLDI，第405\u2013416页。ACM（2012）“，”journal-title“：”ACM SIGPLAN Notices“}，{“key”：“15_CR30”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：《365》，“doi”：“10.1007\/978-3319-02444-8_26”，“volume-title”：《验证与分析自动化技术》，“author”：“M Heizmann”，“year”：“2013”，“unstructured”：“Heizmann，M.、Hoenicke，J.、Leike，J、Podelski，A.：线性套索程序的线性排名。收件人：Van Hung，D.，Ogawa，M.（编辑）ATVA 2013。LNCS，第8172卷，第365\u2013380页。Springer，Heidelberg（2013）“}，{“key”：“15_CR31”，“doi-asserted-by”：“crossref”，“unstructured”：“Henzinger，T.，Jhala，R.，Majumdar，R.和McMillan，K.：证据摘要。摘自：POPL，pp.232\u2013244（2004）”，“doi”：“10.1145\/98296.964021”}，}，“key“：”15_CR32“，”doi-assert-by“：”Crosref“，”非结构化“：”Henzinger，T.、Kopke，P.、Puri，A.、Varaiya，P.：关于混合自动机，2019年的决定因素是什么？收录于：STOC，pp.373\u2013382（1995）“，”DOI“：”10.1145\/225058.225162“}，”key“：”15_CR33“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“424”，”DOI:“10.1007\/11817963_39”，”volume-title“：“计算机辅助验证”，”author“：”SK Lahiri“，”year“：”2006“，”unstructured“：”Lahiri，S.K.，Nieuwenhuis，R.，Oliveras，A.：快速谓词抽象的SMT技术。收录：Ball，T.，Jones，R.B.（编辑）CAV 2006。LNCS，第4144卷，第424\u2013437页。Springer，Heidelberg（2006）“}，{”key“：”15_CR34“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“1”，”doi“：”10.1007\/978-3-540-45069-6_1“，“volume-title”：“计算机辅助验证”，“author”：“KL McMillan”，“year”：“2003”，“unstructured”：“McMillan，K.L.：插值和基于SAT的模型检查。收录：Hunt Jr.，W.A.，Somenzi，F.（编辑）CAV 2003。LNCS，第2725卷，第1\u201313页。施普林格，海德堡（2003）“}，{“键”：“15_CR35”，“系列标题”：“计算机科学讲义”，“doi断言”：“出版商”，“首页”：“496”，“doi”：“10.1007\/978-3-540-27813-9_45”，“卷标题”：“计算机辅助验证”，“作者”：“L de Moura”，“年份”：“2004”，“非结构化”：“de Moura，L.、Owre，S.、Rue \u00df，H.、Rushby，J.、Shankar，N.、Sorea，M.、Tiwari，A.：SAL 2。In:Alur，R.，Peled，D.A.（编辑）CAV 2004。LNCS，第3114卷，第496\u2013500页。Springer，Heidelberg（2004）“}，{“key”：“15_CR36”，“doi-asserted-by”：“crossref”，“unstructured”：“Niemetz，A.，Preiner，M.，Biere，A.：带don\u2019t care推理的按需Turbo-charging引理。摘自：FMCAD，第179\u2013186页。IEEE（2014）“，”DOI“：”10.1109\/FMCAD.2014.6987611“}，{“key”：“15_CR37”，“DOI-asserted-by”：“crossref”，“unstructured”：“Pnueli，A.：程序的时序逻辑。In:FOCS，pp.46\u201357（1977）”，“DOI”：“10.1109\/SFCS.1977.32”}，“key“：”15_CR38第一页“：”239“，”DOI“：”10.1007\/978-3-540-24622-0_20“，“volume-title”：“验证、模型检查和抽象解释”，“author”：“A Podelski”，“year”：“2004”，“unstructured”：“Podelsky，A.，Rybalchenko，A.：线性排序函数综合的一种完整方法。收录：Steffen，B.，Levi，G.（编辑）VMCAI 2004。LNCS，第2937卷，第239\u2013251页。Springer，Heidelberg（2004）“}，{“key”：“15_CR39”，“doi-asserted-by”：“crossref”，“unstructured”：“Podelski，A.，Rybalchenko，A.：转换不变量。摘自：LICS，pp.32\u201341。IEEE Computer Society（2004）“，”DOI“：”10.1109\/LICS.2004.1319598“}，{”issue“：”3“，”key“：”15_CR40“，”DOI-asserted-by“：”crossref“，”first page“：“15”，“DOI”：“10.1145\/1232420.1232”，“volume”：“29”，“author”：“Andreas Podelski”，“year”：“2007”，“unstructured”：“Podelski，A.，Rybalchenko，A.：转移谓词抽象和公平终止。ACM事务处理。程序。语言系统。29（3）（2007）“，”journal-title“：”ACM Transactions on Programming Languages and Systems“}，{”issue“：”30“，”key“：”15_CR41“，”doi-asserted-by“：”publisher“，”first page“：“264”，”doi“：”10.1112\/plms\/s2-30.264“，”volume“：30），264\u2013286（1930）“，”新闻标题“：”Proc。伦敦。数学。Soc.“}，{”issue“：“1”，”key“：“15_CR42”，”doi-asserted-by“：”publisher“，”first page“：”79“，”doi“：”10.1016\/j.entcs.2005.11.018“，”volume“：）“，”新闻标题“：”电子。理论注释。计算。科学。“}，{”key“：”15_CR43“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“725”，“doi”：“10.1007\/978-3642-31424-7_56”，“volume-title”：“计算机辅助验证”，“author”：“A Tiwari”，“year”：“2012”，“unstructured”：“Tiwari，A.：HybridSAL关系抽象器。in:Madhusudan，P.，Seshia，S.A.（eds.）CA 2012年第五期。LNCS，第7358卷，第725\u2013731页。Springer，Heidelberg（2012）“}，{”key“：”15_CR44“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“89”，”doi“：”10.1007\/978-3642-05089-3_7“，”volume-title“：“FM 2009:Formal Methods”，”author“：”S Tonetta“，”year“：”2009“，”unstructured“：”Tonetta，S.：在不计算抽象的情况下进行抽象模型检查。收录：Cavalcanti，A.，Dams，D.R.（编辑）FM 2009。LNCS，第5850卷，第89页\u2013105。Springer，Heidelberg（2009）“}，{”key“：”15_CR45“，”doi-asserted-by“：”crossref“，”first-page“：”238“，”doi“：”10.1007\/3-540-60915-6_6“，”volume-title“：”Logics for Concurrency“，”author“：”Moshe Y.Vardi“，”year“：”1996“，”unstructured“：”Vardi，M.：线性时间逻辑的自动机理论方法。收录：Banff Higher Order Workshop，pp.238\u2013266（1995）“}]，“container-title”：[“计算机科学课堂讲稿”，“计算机辅助验证”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3319-41528-4_15”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期-部件”用法：[[2020,7,13]]，“日期时间”：“2020-07-13T20:04:28Z”，“时间戳”：1594670668000}，“分数”：1，“资源”：{“主要”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3-319-41528-4_15”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2016]]}”，“ISBN”：[“9783319415277”，“97833”319415284“]，”references-count“：45，”URL“：“http://\/dx.doi.org\/10.1007\/978-3-319-41528-4_15”，“关系”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“类型”：“打印”，“值”：“0302-7743”}，{“种类”：“电子”，“数值”：“1611-33049”}]，“主题”：[]，“发布”：{“日期段”：[[2016]]}，”断言“：“2016年7月13日”，“订单”：1，“名称”：“first_online”，“标签”：“第一在线”，“群组”：{“名称”：“ChapterHistory”，“label”：“Cha章历史”}}，{“value”：“CAV”，“order”：1，“name”：“conference_acrombit”，“标签”：“会议缩写”，“group”：{“name”:“ConferenceInfo”，“table”：“Conferency Information”}}}：“ConferenceInfo”，“label”：“Confection Information”}}，{“value”：“Toronto”，“order”：3，“name”：“Conference_city”，“标签”：“会议城市”，“group”：{“name”:“ConfernceInfo”：“会议信息”}}，{“value”：“2016”，“order”：5，“name”：“Conference_year”，“label”：“会议年份”，“group”：{“name”:“ConferenceInfo”，“table”：“Conferency Information”}，}，“value“：”2016年7月17日“，”order“：7，”name“：”Conference_start_date“，”label“：”会议开始日期“，”group“：{”name“:”ConferenceInformation“，”标签“：”“会议信息“}}”，{：“2016年7月23日”，“order”：8，“name”：“conference_end_date”，“label”：“会议结束日期”，“group”：{“name”:“ConferenceInfo”“名称”：“conference_id”，“label”：“会议id”，“group”：{“name”：“ConferenceInfo”