{“id”：“https://openalex.org/W1570254110“，”doi“：”https://doi.org/10.1007/978-3-540-75596-8_29“，”title“：”分支时间逻辑的有界模型检查的新方法“，”display_name“：”用于分支时间逻辑有界模型检测的新方法”，“publication_year”：2007，“publiation_date”：“2007-11-03”，“ids”：{“openalex”：“https://openalex.org/W1570254110“，”doi“：”https://doi.org/10.1007/978-3-540-75596-8_29“，”mag“：”1570254110“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-75596-8_29“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P431031965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Nature“]，”type“：”电子书平台“｝，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”图书章节“，”type_crossref“：”图书章节“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5083335403“，”display_name“：”Rotem Oshman“，”orcid“：”https://orcid.org/0009-0007-5065-5557}，“机构”：[{“id”：https://openalex.org/I174306211“，”display_name“：”Technion\u2013以色列理工学院“，”ror“：”https://ror.org/03qryx823“，”country_code“：”IL“，”type“：“教育”，”世系“：[”https://openalex.org/I174306211“]}]，”国家“：[”IL“]，”is_corresponding“：false，”raw_author_name“：”Rotem Oshman“，”raw_affiliation_strings“：[“以色列理工学院计算机科学系#TAB#”]，”affiliations“：[{”raw_affiliation_string“：”以色列理工大学计算机科学系#TAB#“，”institution_ids“：]”https://openalex.org/I174306211“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5043936415“，”display_name“：”Orna Gr\u00fcmberg“，”orcid“：”https://orcid.org/0009-0005-9682-3312}，“机构”：[{“id”：https://openalex.org/I174306211“，”display_name“：”Technion\u2013以色列理工学院“，”ror“：”https://ror.org/03qryx823“，”country_code“：”IL“，”type“：“教育”，”世系“：[”https://openalex.org/I174306211“]}]，”国家“：[”IL“]，”is_corresponding“：false，”raw_author_name“：”Orna Grumberg“，”raw_affiliation_strings“：[“以色列理工学院计算机科学系#TAB#”]，”affiliations“：[{”raw_affiliation_string“：”以色列理工大学计算机科学系#TAB#“，”institution_ids“：]”https://openalex.org/I174306211“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：nul，”fwci“：1.361，”has_fulltext“：false，”cited_by_count：10，“cited_by_percentile_year”：{“min”：85，”max“：86}，”biblio“：{”volume“：null，”issue“：null，“first_page”：“410”，“last_page”：“424”}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“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.9999，“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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9935，”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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9932，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.644576}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.555305}，{”id“：”https://openalex.org/keywords/model-consistency“，”display_name“：”模型一致性“，”score“：0.528772}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.522224}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.50729}]，”concepts“：[{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.8761655}，{”id“：”https://openalex.org/C34388435，“wikidata”：https://www.wikidata.org/wiki/Q2267362“，”display_name“：”绑定函数“，”level“：2，”score“：0.85998434}，{”id“：”https://openalex.org/C206175624，“wikidata”：https://www.wikidata.org/wiki/Q595731“，”display_name“：”分支（聚合物化学）“，”level“：2，”score“：0.6188475}，{”id“：”https://openalex.org/C66746571，“wikidata”：https://www.wikidata.org/wiki/Q1134833“，”display_name“：”ENCODE“，”level“：3，”score“：0.54432195}，{”id“：”https://openalex.org/C17231256，“wikidata”：https://www.wikidata.org/wiki/Q5156540“，”display_name“：”完备性（序理论）“，”level“：2，”score“：0.5325927}，{”id“：”https://openalex.org/C30888246，“wikidata”：https://www.wikidata.org/wiki/Q4669969“，”display_name“：”抽象模型检查“，”level“：3，”score“：0.5324166}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.50829214}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.48316187}，{”id“：”https://openalex.org/C6943359，“wikidata”：https://www.wikidata.org/wiki/Q875276“，”display_name“：”布尔可满足性问题“，”level“：2，”score“：0.47369123}，{”id“：”https://openalex.org/C132525143，“wikidata”：https://www.wikidata.org/wiki/Q141488“，”display_name“：”Graph“，”level“：2，”score“：0.46411568}，{”id“：”https://openalex.org/C25016198，“wikidata”：https://www.wikidata.org/wiki/Q781833“，”display_name“：”时态逻辑“，”level“：2，”score“：0.45937714}，{”id“：”https://openalex.org/C2778770139，“wikidata”：https://www.wikidata.org/wiki/Q1966904“，”display_name“：”Solver“，”level“：2，”score“：0.44680303}，{”id“：”https://openalex.org/C47777664，“wikidata”：https://www.wikidata.org/wiki/Q1536492“，”display_name“：”线性时序逻辑“，”level“：2，”score“：0.42613688}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.39217496}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.36077294}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.34985697}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.11357352}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C192562407，“wikidata”：https://www.wikidata.org/wiki/Q228736“，”display_name“：”材料科学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C159985019，“wikidata”：https://www.wikidata.org/wiki/Q181790“，”display_name“：”复合材料“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-75596-8_29“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：fald，”host_organization“：”https://openalex.org/P431031965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“电子书平台”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：[】，“referenced_works_count”：12，“referrenced_works”：〔”https://openalex.org/W1480531236","https://openalex.org/W1539385324","https://openalex.org/W1564580204","https://openalex.org/W1597578789","https://openalex.org/W1819209966","https://openalex.org/W1992582873","https://openalex.org/W2015640848","https://openalex.org/W2020735753","https://openalex.org/W2046239089","https://openalex.org/W2108443473","https://openalex.org/W2171453216","https://openalex.org/W2561675875“]，”related_works“：[”https://openalex.org/W4232446061","https://openalex.org/W3021103820","https://openalex.org/W2763487042","https://openalex.org/W2477338659","https://openalex.org/W2350953867","https://openalex.org/W2124110813","https://openalex.org/W2081369054","https://openalex.org/W2062273688","https://openalex.org/W2031188261","https://openalex.org/W2013878945“]，”ngrams_url“：”https://api.openalex.org/works/W1570254110/ngrams网站“，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W1570254110“，”counts_by_year“：[{”年“：2022，”cited_by_count“：1}，{”年份“：2018，”cited_by_count”：2}，“年份”：2017，”citecd_by_count“：3}，”年度“：2015，”citesd_by_count“:1}]，”updated_date“：”2024-06-20T20:51.080552“，”created_dates“：”2016-06-24“}”