{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,6,10]]，“日期时间”：“2024-06-10T21:13:24Z”，“时间戳”：1718054004992}，“发布者位置”：“Cham”，“引用计数”：34，“发布商”：“Springer International Publishing”，“isbn-type”：[{“值”：“9783030532901”，“类型”：”打印“}，{“值”：“9783030532918”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2020,1,1]]，“date-time”：“2020-01-01T00:00:00Z”，“timestamp”：1577836800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/creativecommons.org\/licenses\/by\/4.0”}，{“tart”：“2020-07-14T00:00:00Z”，“时间戳”：1594684800000}，“内容-版本”：“vor”，“delay-in-days”：195，“URL”：“https:\/\/creativecommons.org\/licenses\/by\/4.0”}]，“内容域”：{“域”：[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{-“date-parts”：[2020]]}，”DOI“10.1007\/978-3030-53291-8_4”，“type”：“book-capter”，“created“：{”日期部分“：[[2020,7,15]]，”日期时间“：“2020-07-15T20:03:35Z”，“时间戳”：1594843415000}，“页面”：“40-63”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：2，”title“：[”Realizing$\\omega$$-regular Hyperproperties“]，”prefix“：”10.1007“，”author“：[{”ORCID“：”http://\/ORCID.org\/0000-0002-4280-8441“，”认证证书“：false，“给定”：“Bernd”，“family”：“Finkbeiner”，“sequence”：“first”，“affiliation”：[]}，{“ORCID”：“http://\ORCID.org\/0000-0002-1243-4880”，“authenticated-ORCID”：false；“给定”；“Christopher”，“家族”：“Hahn”，”sequence“：”additional“，”affiliance“：[]{”ORCID“http://\/ORCID.org\/000-0003-1660-2949”，“authenticated-ORCID“：false，“given”：“Jana”，“family”：“Hofmann”，“sequence”：“additional”，“affiliation”：[]｝，｛“ORCID”：“http:\/\/ORCID.org/0000-0002-6150-2982”，“authenticated ORCID”：false，“given”：“Leander”，“family”：“Tentrup”，“sequence”：“additional”，“affiliation”：[]｝，“member”：“297”，“在线发布”：｛“日期部分”：[[2020,7,14]]｝，“reference”：[｛“key”：“4_CR1”，“series title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“423”，“doi”：“10.1007\/978-3-030-31784-3_25”，“volume-title”：“自动验证和分析技术”，“author”：“B Bonakdarpour”，《年份》：“2019”，“非结构化”：“Bonakdarpour，B.，Finkbeiner，B.：超属性的程序修复。收录：Chen，Y.-F.，Cheng，C.-H.，Esparza，J.（编辑）ATVA 2019。LNCS，第11781卷，第423\u2013441页。查姆施普林格（2019）。\nhttps:\/\/doi.org\/10.1007\/978-3-030-31784-3_25“}，{”key“：”4_CR2“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“167”，“doi”：“10.1007\/9783-662-4667678-0_11”，“volume-title”：“软件科学和计算结构基础”，“author”：“L Bozzelli”，“year”：“2015”，“unstructured”：“”Bozzelli，L.，Maubert，B.，Pinchinat，S.：统一超时间逻辑和认知时间逻辑。In：Pitts，A.（编辑）FoSSaCS 2015。LNCS，第9034卷，第167\u2013182页。斯普林格，海德堡（2015）。\nhttps:\/\/doi.org\/10.1007\/978-3662-46678-0_11“}，{”issue“：”10“，”key“：”4_CR3“，”doi-asserted-by“：”publisher“，”first page“：“1030”，”doi“：”10.1145\/4372.4373“，“volume”：“28”，“author”：“D Chaum”，“year”：“1985”，“unstructured”：“Chaum，D.：没有标识的安全：使big brother过时的交易系统。Commun.ACM 28（10），1030\u20131044（1985）。\nhttps:\/\/doi.org\/10.1145\/4372.4373“，”journal-title“：”Commun“。ACM“}，{“key”：“4_CR4”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：《265》，“doi”：“10.1007\/978-3642-54792-8_15”，“volume-title”：《安全与信任原则》，“author”：“MR Clarkson”，“year”：“2014”，“unstructured”：“Clarkson，M.R.，Finkbeiner，B.，Koleini，M.，Micinski，K.K.，Rabe，M.N.，S\u00e1nchez，C.：超属性的时间逻辑。收录于：Abadi，M.，Kremer，S.（编辑）《2014年邮报》。LNCS，第8414卷，第265\u2013284页。斯普林格，海德堡（2014）。\nhttps:\/\/doi.org/\/10.1007\/978-3-642-54792-8_15“｝，｛“issue”：“6”，“key”：“4_CR5”，“doi断言”：“publisher”，“first page”：“1157”，“doi”：“10.3233\/JCS-2009-0393”，“volume”：“18”，“author”：“MR Clarkson”，“year”：“2010”，“nonstructured”：“Clarkson，M.R.，Schneider，F.B.:Hyperproperties.J.Comput.Secur.18（6），1157\u 2013年12月10日（2010年）.\nhttps:\/\/doi.org\/10.3233\/JCS-2009-0393“，”journal-title“：”计算杂志。安全。“}，{”key“：”4_CR6“，”doi-asserted-by“：”publisher“，”unstructured“：”Coenen，N.，Finkbeiner，B.，Hahn，C.，Hofmann，J.：超逻辑的层次结构。收录于：第34届ACM\/IEEE计算机科学逻辑研讨会（LICS 2019），第1\u201313页“键”：“4_CR7”，“series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：”121“，“doi”：“10.1007\/978-3-030-25540-4_7”，“volume-title”：“计算机辅助验证”，“author”：“N Coenen”，“year”：“2019”，“unstructured”：“Coenen，N.，Finkbeiner，B.，S\u00e1nchez，C.，Tentrup，L.：验证超活性。收录：Dillig，I.，Tasiran，S.（编辑）CAV 2019。LNCS，第11561卷，第121\u2013139页。查姆施普林格（2019）。\nhttps:\/\/doi.org\/10.1007\/978-3-030-25540-4_7“}，{“key”：“4_CR8”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：《337》，“doi”：“10.1007\/978-23-540-78800-3_24”，“volume-title”：《系统构建和分析的工具和算法》，“author”：“L de Moura”，《年份》：“2008”，“非结构化”：“de Moura，L.，Bj\u00f8rner，N.：Z3：高效SMT求解器。收录：Ramakrishnan，C.R.，Rehof，J.（编辑）TACAS 2008。LNCS，第4963卷，第337\u2013340页。施普林格，海德堡（2008）。\nhttps:\/\/doi.org\/10.1007\/978-3-540-78800-3_24“}，{“key”：“4_CR9”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：《325》，“doi”：“10.1007\/978-2319-63390-9_17”，“volume-title”：《计算机辅助验证》，“author”：“P Faymonville”，“年份”：“2017”，“非结构化”：“Faymonville，P.，Finkbeiner，B.，Tentrup，L.：BoSy:有限合成的实验框架。收录人：Majumdar，R.，Kun\u010dak，V.（编辑）CAV 2017。LNCS，第10427卷，第325\u2013332页。查姆施普林格（2017）。\nhttps:\/\/doi.org\/10.1007\/978-3-319-63390-9_17“}，{“key”：“4_CR10”，“doi-asserted-by”：“publisher”，“unstructured”：“Finkbeiner，B.，Hahn，C.：决定超属性。摘自：CONCUR.LIPIcs会议录，第59卷，第13:1\u201313:14页。达格斯图尔宫（Schloss Dagstuhl）-莱布尼茨-泽特鲁姆富尔信息（Leibniz-Zentrum fuer Informatik）（2016年）。\网址：\/\/doi.org/\/10.4230\/LIPIcs。CONCUR.2016.13“，”DOI“：”10.4230\/LIPIcs。CONCUR.2016.13“}，{“key”：“4_CR11”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“首页”：“521”，”doi“：”10.1007\/978-3-030-01090-4_31“，”volume-title“：”验证与分析自动化技术“，”author“：”B Finkbeiner“，”year“：”2018“，”unstructured“：”Finkbeiner，B.，Hahn，C.，Hans，T.：MGHyper：检查所有^*$$片段超出$$\\存在^*\\的\u00a0hyperltl公式的可满足性。收件人：Lahiri，S.K.，Wang，C.（编辑）ATVA 2018。LNCS，第11138卷，第521\u2013527页。查姆施普林格（2018）。\nhttps:\/\/doi.org/\/10.1007\/978-3-030-01090-4_31“｝，｛”键“：”4_CR12“，”系列标题“：”计算机科学讲义“，”doi断言“：”出版商“，”首页“：”289“，”doi“：”10.1007\/978-3-319-96145-3_16“，”卷标题“：”计算机辅助验证“，”作者“：”B Finkbeiner“，”年份“：”2018“，”非结构化“：”Finkbeiner，B.，Hahn，C.，Lukert，P.，Stenger，M.，Tentrup，L.：从超性能合成反应系统。收件人：Chockler，H.，Weissenbacher，G.（编辑）CAV 2018。LNCS，第10981卷，第289页\u2013306。查姆施普林格（2018）。\nhttps:\/\/doi.org\/10.1007\/978-3-319-96145-3_16“}，{“问题”：“1”，“密钥”：“4_CR13”，“doi-asserted-by”：“出版商”，“首页”：“137”，“doi”：“10.1007\/s00236-019-00358-2”，“卷”：“57”，“作者”：“B Finkbeiner”，“年份”：“2020”，“非结构化”：“Finkbeiper，B.，Hahn，C.，Lukert，P.，Stenger，M.，Tentrup，L.：超属性的合成。信息学报57（1），137\u2013163（2020）。\nhttps:\/\/doi.org\/10.1007\/s00236-019-00358-2“，”journal-title“：”Acta Inf.“}，{”key“：”4_CR14“，”series-title“：“计算机科学讲义”，”doi-asserted-by“：”publisher“，”first page“：“564”，”doi“：”10.1007\/978-3319-63390-9_29“，”volume-title”：“计算机辅助验证”，“作者”：“B Finkbeiner”，“年份”：“2017”，“非结构化”：“Finkbeiner，B.，Hahn，C.，Stenger，M.：EAHyper:超属性的可满足性、蕴涵和等价性检查。收录人：Majumdar，R.，Kun\u010dak，V.（编辑）CAV 2017。LNCS，第10427卷，第564\u2013570页。施普林格，查姆（2017）。\nhttps:\/\/doi.org\/10.1007\/978-3-319-63390-9_29“}，{“key”：“4_CR15”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”144“，“doi”：“10.1007\/978-2319-96145-3_8”，“volume-title”：”计算机辅助验证“，“author”：“B Finkbeiner”，“年份”：“2018”，“非结构化”：“Finkbeiner，B.，Hahn，C.，Torfah，H.：模型检验定量超属性。收件人：Chockler，H.，Weissenbacher，G.（编辑）CAV 2018。LNCS，第10981卷，第144\u2013163页。查姆施普林格（2018）。\nhttps:\/\/doi.org\/10.1007\/978-3-319-96145-3_8“}，{“key”：“4_CR16”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”30“，“doi”：“10.1007\/978-2319-21690-4_3”，”volume-title“：”计算机辅助验证“，”author“：”B Finkbeiner“，”年份“：”2015“，”非结构化“：”Finkbeiner，B.，Rabe，M.N.，S\u00e1nchez，C.：模型检查超LTL和超CTL$^*$$的算法。收录人：Kroening，D.，P\u0103s\u0103reanu，C.S.（编辑）CAV 2015。LNCS，第9206卷，第30\u201348页。查姆施普林格（2015）。\nhttps:\/\/doi.org\/10.1007\/978-3-319-21690-4_3“}，{“key”：“4_CR17”，“doi-asserted-by”：“publisher”，“unstructured”：“Finkbeiner，B.，Schewe，S.：均匀分布合成。摘自：LICS论文集，第321\u2013330页。IEEE计算机学会（2005）。\nhttps:\/\/doi.org\/10.109\/LICS.2005.53“，”doi“：”10.1109\/LICS/2005.53”}，{“问题”：“5\u20136”，“密钥”：“4_CR18”，“doi-asserted-by”：“发布者”，“首页”：“519”，“doi”：“10.1007\/s10009-012-0228-z”，“卷”：“15”，“作者”：“B Finkbeiner”，“年份”：“2013”，“非结构化”：“Finkbein”er，B.，Schewe，S.：有界合成。STTT 15（5\u20136），519\u2013539（2013）.\nhttps:\/\/doi.org\/10.1007\/s10009-012-0228-z“，”journal-title“：”STTT“}，{”key“：”4_CR19“，”doi-asserted-by“：”publisher“，”unstructured“：”Finkbeiner，B.，Zimmermann，M.：超属性的一阶逻辑。摘自：《STACS学报》。LIPIcs，第66卷，第30:1\u201330:14页。达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨-泽特鲁姆富尔信息（Leibniz-Zentrum fuer Informatik）（2017年）。\nhttps:\/\/doi.org\/10.4230\/LIPIcs。STACS.2017.30“，”DOI“：”10.4230\/LIPIcs。STACS.2017.30“}，{“key”：“4_CR20”，“doi-asserted-by”：“publisher”，“unstructured”：“Goguen，J.A.，Meseguer，J.：安全策略和安全模型。摘自：《标准普尔学报》，第11\u201320页。IEEE计算机学会（1982）。\nhttps:\/\/doi.org/\/10.10109\/SP.182.1014“，“doi”：“10.1109\/SP.182.1014”}，｛“key”：“4_CR21”，“series title”：“计算机科学讲义”，“doi asserted by”：“publisher”，“first page”：“70”，“doi”：“10.1007\/978-3-030-32079-9_5”，“volume title”：“Runtime Verification”，“author”：“C Hahn”，“year”：“2019”，“nonstructured”：“Hahn，C.：监控超属性的算法。收录：Finkbeiner，B.，Mariani，L.（编辑）RV 2019。LNCS，第11757卷，第70\u201390页。查姆施普林格（2019）。\nhttps:\/\/doi.org\/10.1007\/978-3-030-32079-9_5“}，{“key”：“4_CR22”，“doi-asserted-by”：“publisher”，“unstructured”：“Halpern，J.Y.，Vardi，M.Y.：知识和时间推理的复杂性。i.下限。计算机系统科学杂志。38（1），195\u2013237（1989）。“10.1016\/0022-0000（89）90039-1“}，{“key”：“4_CR23”，“unstructured”：“Kaivola，R.：使用自动机表征定点时序逻辑。博士论文（1997年）”}，}“issue”：“2”，“key“：”4_CR24“，”doi-asserted-by“：”publisher“，”first page“：“83”，”doi“：”10.1007\/s10703-009-0067-z“，”volume“：‘34’，”author“：”O Kupferman“，”year“：”2009“，”unstructure“：”Kupferman，O.，Piterman，N.，Vardi，M.Y.：从生动到迅速。形式方法系统。设计。34（2），83\u2013103（2009）。\nhttps:\/\/doi.org\/10.1007\/s10703-009-0067-z“，”journal-title“：”形式方法系统。设计。}，{“key”：“4_CR25”，“doi-asserted-by”：“publisher”，“unstructured”：“Nguyen，L.V.，Kapinski，J.，Jin，X.，Deshmukh，J.V.，Johnson，T.T.：实值信号的超属性。摘自：MEMOCODE学报，pp.104\u2013113。ACM（2017）。\nhttps:\/\/doi.org\/10.1145\/3127041.3127058“，“doi”：“10.1145\/312701.3127058”}，{“key”：“4_CR26”，“doi-asserted-by”：“publisher”，“unstructured”：“Pnueli，A.：程序的时序逻辑。摘自：FOCS会议录，第46\u201357页。IEEE计算机学会（1977年）。\nhttps:\/\/doi.org\/10.109\/SFCS.1977.32“，“doi”：“10.1109\/SFCS.1977.32”}，{“key”：“4_CR27”，“doi-asserted-by”：“publisher”，“unstructured”：“Pnueli，A.，Rosner，R.：分布式反应系统很难合成。摘自：《FOCS学报》，第746\u2013757页。IEEE计算机学会（1990）。\nhttps:\/\/doi.org\/10.109\/FSCS.1990.89597“，”doi“：”10.1109\/FSCS.1990.89597“}，{“问题”：“4”，“密钥”：“4_CR28”，“doi-asserted-by”：“发布者”，“首页”：“264”，”doi:“10.1090\/S0002-9904-1946-08555-9”，“卷”：“52”，“作者”：“EL Post”，“年份”：“1946”，“非结构化”：“Post，E.L.：递归不可解问题的一个变体。美国数学学会52（4），264\u2013268（1946）“，”新闻标题“：”牛市。美国数学。Soc.“}，{“key”：“4_CR29”，“nonstructured”：“Rabe，M.N.:信息流控制的时间逻辑方法。萨尔大学博士论文（2016）”}，{“key”：“4_CR30”，“系列标题”：“计算机科学讲义”，“doi断言者”：“出版商”，“首页”：“465”，“doi”：“10.1007\/BFb0015772”，“卷标题”：“自动机、语言和编程”author“：”AP Sistla“，”year“：”1985“，”unstructured“：”Sistla，A.P.，Vardi，M.Y.，Wolper，P.：B\u00fcchi自动机的互补问题及其在时序逻辑中的应用。收录：Brauer，W.（编辑）ICALP 1985。LNCS，第194卷，第465\u2013474页。斯普林格，海德堡（1985）。\nhttps:\/\/doi.org\/10.1007\/BFb0015772“}，{“key”：“4_CR31”，“unstructured”：“Sistla，A.P.：分布式系统设计和验证中的理论问题，博士论文（1983）”}，“key“：”4_CR32“，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“first page”：”406“，“doi”：“10.1007\/978-3030-30942-8_25”，“volume-title“：“Formal Methods\u2013 The Next 30 Years”，“author”：“S Stucki”，“year”：“2019”，“unstructured”：“Stucki，S.，S\u00e1nchez，C.，Schneider，G.，Bonakdarpour，B.：超属性的灰箱监测。收录：ter Beek，M.H.，McIver，A.，Oliveira，J.N.（编辑）FM 2019。LNCS，第11800卷，第406\u2013424页。查姆施普林格（2019）。\nhttps:\/\/doi.org\/10.1007\/978-3-030-30942-8_25“}，{“key”：“4_CR33”，“doi-asserted-by”：“publisher”，“unstructured”：“Tentrup，L.，Weinert，A.，Zimmermann，M.：双指数时间内即时可实现性的近似最优边界。摘自：GandALF会议录，EPTCS，第226卷，第302\u2013315页（2016）.\nhttps:\/\/doi.org\/10.4204\/EPTCS.226.21“，”doi“：”10.4204\/EPTCS.226.21”}，{“key”：“4_CR34”，“doi-asserted-by”：“publisher”，“unstructured”：“Zdancewic，S.，Myers，A.C.：并发程序安全的观察决定论。摘自：《CSFW学报》，第29页。IEEE计算机学会（2003）。\nhttps:\/\/doi.org\/10.1109\/CSFW.2003.1212703“，”doi“：”10.1109\/CSFW/2003.1212703”}]，“container-title”：[“计算机辅助验证”，“计算机科学课堂笔记”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com\/content\/pdf\/10.10007\/978-3-030-53291-8_4”，“内容类型”：“未指定”，“content-version”：“vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2020,7,15]]，”date-time“：”2020-07-15T20:04:37Z“，”timestamp“：1594843477000}，”score“：1，”resource“：{primary”：{“URL”：“http://link.sprimary.com\/10007\/978-3-030-53291-8_4”}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[[2020]]}，“ISBN”：[“9783030532901”，“9783030532918“]，”references-count“：34，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-030-53291-8_4“，”relation“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，”type“：”print“}，{“value”：“1611-3399”，”类型“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[2020]]}，”断言“：[{”值“：”2020年7月14日“，”订单“：1，”名称“：”first_online，“label”：“first online”，“group”：{“name”：“ChapterHistory”，“label:”Chapter History“}}，{“value”：“CAV”，“order”：1，“name”:“conference_acrombit”，“标签”：“conference acronym”，“群组”：{name”：”ConferenceInfo“，”label“：”ConverenceInformation“}，”value“：”计算机辅助验证国际会议“，”order“：2，”name“：”conference_name“，”label“：”会议名称“，”group“：{”name“：”ConferenceInfo“，”label“：“会议信息”}}，{”value“：”加利福尼亚州洛杉矶“，”order“：3，”name“:”conference_city“，”标签“：”会展城市“，”group“：”ConferenceInfo“group“：{”name“：”ConferenceInfo“，”label“：”会议信息“}}，{”value“：”2020“，”order“：5，”name“:”Conference_year“，”tabel“：“会议年份”，“group”：{“name”：“ConferenceInformo”，“label”：“会议信息”}，“value”：“2020年7月21日”，“order”：7，“name“，”label“：”Conference Information“}}，{“value”：“2020年7月24日”，“order”：8，“name”：“Conference_end_date”，“label”：“ConferenceEnd date”，“group”：{“name”:“ConferenceInfo”，”label“:”Conferency Information“{}，”value“：”32“，”order“：9，”name“Conference_nnumber”，“标签”：“会议编号”，“group”：{“name”“ConfernceInfo”value“：”cav2020“，”order“：10，”name“：”conference_id“，”label“：”会议id“，”group“：｛”name“：”ConferenceInfo“，”label“：”会议信息“｝｝，｛”value“：”http:\/\/i-cav.org/2020\/“，”order“：11，”name“：”conferenceurl“，”label“：”会议url“，”group“：｛”name“：”ConferenceInfo“，”label“：”会议信息“｝｝｝，｛”value“：”双盲“，”订单“：1，”name“：”type“，”label“：”type“，”group“：同行评审信息（由会议组织者提供）“}}，{“value”：“240”，“order”：3，“name”：“number_of_submissions_sent_for_Review”，“label”：“发送供评审的提交数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息”（由会议主办方提供）number_of_full_papers_accepted“，”label“：”接受的全文数“，”group“：{”name“：”ConfEventPeerReviewInformation“，”标签“：”同行评审信息（由会议组织者提供）“}}，{”value“：”22“，”order“：5，”name“:”number _of_short_papers_accepted”，“label”：“接受的短文数”，“group”：{“name”：“”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）“}}，{”value“：”18%-该值由等式“接受的全文数”/“发送供评审的提交数*100”计算，然后四舍五入为整数。“，”order“：6，”name“：”acceptance_rate_of_Full_Papers“，”标签“：”全文接受率“，”group“：{”name“：”ConfEventPeerReviewInformation“，”label“：”Peer Review Information（由会议组织者提供）“}}，{”value“：”4“，”order“：7，”name“:”average_number_of_reviews_per_paper“，”标签“：”每篇论文的平均评论数“，”google“：同行评议信息（由会议组织者提供）“}}，{“value”：“11”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息（由大会组织者提供）”}}external_reviewers_involved”，“label”：“参与的外部评审员”，“group”：｛“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”｝｝，｛“value”：“会议实际上是由于新冠肺炎疫情而举行的。”，“order”：10，“name”：“additional_info_on_Review_process”，“label”：“评审过程附加信息“，”组“：{“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}]}}