{“id”：“https://openalex.org/W2167298033“，”doi“：”https://doi.org/10.1007/978-3-540-74128-2_11“，”title“：”Distributed Extended Beam Search for Quantitative Model Checking“，”display_name“：”分布式扩展束搜索用于定量模型检查“，”publication_year“：2007，”publiation_date“：”2007-01-01“，”ids“：{”openalex“：”https://openalex.org/W2167298033“，”doi“：”https://doi.org/10.1007/978-3-540-74128-2_11“，”mag“：”2167298033“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-74128-2_11“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5036964869“，”display_name“：”Anton Wijs“，”orcid“：”https://orcid.org/0000-0002-2071-9624}，“机构”：[{“id”：https://openalex.org/I1341640284“，”display_name“：”Centrum Wiskunde&Informatica“，”err“：”https://ror.org/00x7ekv49“，”“country_code”“：”NL“，”type“：”facility“，”lineage“：[”https://openalex.org/I1341640284","https://openalex.org/I2800991832“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”A.J.Wijs“，”raw _ afiliation_strings“：[“CWI，P.O.Box 94079，1090 GB Amsterdam，The Netherlands”]，”从属关系“：[{”raw _affiliation_string“：”CWI，邮政信箱94079https://openalex.org/I1341640284“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5020458103“，”display_name“：”Bert Lisser“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1341640284“，”display_name“：”Centrum Wiskunde&Informatica“，”err“：”https://ror.org/00x7ekv49“，”“country_code”“：”NL“，”type“：”facility“，”lineage“：[”https://openalex.org/I1341640284","https://openalex.org/I2800991832“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”B.Lisser“，”raw _affiliation_strings“：[“CWI，P.O.Box 94079，1090 GB Amsterdam，The Netherlands”]，”affiliations“：[{”raw _affiliation_string“：”CWI，邮政信箱94079https://openalex.org/I1341640284“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[]、“correspending_institution_ids“：[[]，”apc_list“：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：1.307，“has_fulltext”：false，“cited_b y_count“：13，”引用标准化百分比“：{”value“：0.817498，”is_in_top_1_percent“：false，”ise_int_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：85，”max“：86}，“biblio”：{“volume”：null，”issue“：null”，”first_page“：”166“，”last_page“：”184“}”，“is_retracted”：falsehttps://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9995，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9995，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9979，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9939，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.605085}，{”id“：”https://openalex.org/keywords/search-based-testing网站“，”display_name“：”基于搜索的测试“，”score“：0.555581}，{”id“：”https://openalex.org/keywords/model-base测试“，”display_name“：”基于模型的测试“，”score“：0.533277}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.513456}，{”id“：”https://openalex.org/keywords/test-case-prioritization网站“，”display_name“：”测试用例优先级“，”score“：0.513076}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8715662}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.4644065}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4108133}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.33670074}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-74128-2_11“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：nuld，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null，“sustainable_development_goals”：[{“id”：”https://metadata.un.org/sdg/11“，”score“：0.46，”display_name“：”可持续城市和社区“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：59，”referrenced_works“：[”https://openalex.org/W1480600454","https://openalex.org/W1497670448","https://openalex.org/W1514583064","https://openalex.org/W1521107250","https://openalex.org/W1529559025","https://openalex.org/W1542787556","https://openalex.org/W1548312885","https://openalex.org/W1548575501","https://openalex.org/W1553342283","https://openalex.org/W1556566737","https://openalex.org/W1557417437","https://openalex.org/W1582292473","https://openalex.org/W1588201901","https://openalex.org/W1606581042","https://openalex.org/W16120781","https://openalex.org/W1752114248","https://openalex.org/W1767945023","https://openalex.org/W1820192350","https://openalex.org/W1913842882","https://openalex.org/W1983362322","https://openalex.org/W1996242413","https://openalex.org/W2006406722","https://openalex.org/W2007018477","https://openalex.org/W2009833344","https://openalex.org/W2010327714","https://openalex.org/W2010890795","https://openalex.org/W2026682089","https://openalex.org/W2035601288","https://openalex.org/W2036802481","https://openalex.org/W2041252124","https://openalex.org/W2044173464","https://openalex.org/W2082442678","https://openalex.org/W2089823063","https://openalex.org/W2097153213","https://openalex.org/W2100233978","https://openalex.org/W2109220893","https://openalex.org/W2109597998","https://openalex.org/W2115716046","https://openalex.org/W2119494075","https://openalex.org/W2122410182","https://openalex.org/W2136877520","https://openalex.org/W2137095888","https://openalex.org/W2145096688","https://openalex.org/W2145382408","https://openalex.org/W2158942489","https://openalex.org/W2159347635","https://openalex.org/W2160181753","https://openalex.org/W2167051442","https://openalex.org/W2473588004","https://openalex.org/W2506088122","https://openalex.org/W2561675875","https://openalex.org/W3174376046","https://openalex.org/W341687455","https://openalex.org/W4212922449","https://openalex.org/W4213162049","https://openalex.org/W4247042060","https://openalex.org/W4250949521","https://openalex.org/W4285719527","https://openalex.org/W4388225302“]，”related_works“：[”https://openalex.org/W925418074","https://openalex.org/W4289687320","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2119610731","https://openalex.org/W2073681303","https://openalex.org/W2051487156","https://openalex.org/W2001405890“]，”abstract_inverted_index“：{”In“：[0]，”this“：[1111]，”paper“：[2]，”we“：[3,36]，”主要“：[4]，”焦点“：[5]，”on“：[6,69110]，”解决“：[7]，”调度“：[8]，”问题“：[9]，”with“：[10]，”model“：[11,37]，”检查“：[12]，”where“：%13,43]，”a“：[14,30,48,54]，”有限“：[15]，”数量“：[16]，”的“：[17,56,73,88]，”实体“：[18]，”需要“：[19]，”到“：[20,61100]，”be“：[21130]，”processed“：[22]，”as“：[23,25116]，”effectively“：[24]，”possible“：[26]，”for“：[27,64]，”instance“：[28]，”by“：[29]，”machine。“：[31]，“To”：[32]，“solve”：[33]，“these”：[34]，“problems”，“：[35,67]，“the”：[38]，“in”：[39,98104132]，“untimed”：[40]，“process”：[41]，“algebration”：[42]，“time”：【44]，“is”：[45,79]，“modeled”：[C6,6]，“using”：[47,94]，“special”：[49]，“tick”：[50]，“action”。“：[51]，“我们”：[52]，“提议”：[53]，“集合”：[55]，“分布式”：[57,81117119122]，“状态”：[58,90107]，“空间”：[59,91]，“探索”：[60]，“发现”：[62101]，“时间表”：[63103]，“the”：[65,70,89]，“building”：[68]，“traditional”：[71]，“concept”：[72]，“beam”：[74,83124]，“搜索”。“：[75]，”The“：[76]，”basic“：[77]，”approach“：[78112]，”called“：80]，”（detailed）“：[82]，”search“，”：[84125]，“which”：[85126]，“prunes”：[86]，“parts”：[87]，“while”：[92]，“searching”：[93]，“an”：[95]，“evaluation”：[96]，“function”：[97]，“order”：[99]，“near optimal”：[102]，“ever”：[105]，“大”：[106]，“空格。“：[108]，“变体”：[109]，“是”：[113]，“呈现的”，：[114]，“这样的”：[115]，“灵活的”，“：[118]，”g-synchronized，“：%120]，”and“：[121]，”priority“：[123]，”can“：[127]，”also“：[128]，”actually“：[129]，”used“：[131]，”组合。“：[133]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2167298033“，”counts_by_year“：[{“年份”：2018，”cited_by_count“：1}，{“年度”：2017，”ciped_by_cunt“：1\n，{”year“:2015，”cited_by_count”：1\“年”：2014，”citted_by_count“:1}”，{年“：2013，”citected_by-count“:1}，编辑日期：“2016-06-24”}