{“id”：“https://openalex.org/W1677369871“，”doi“：”https://doi.org/10.1007/978-3-540-75596-8_24“，”title“：“提供可能准时的证据：为CTMC模型检查生成反例”，”display_name“：”提供可能按时的证据：为了CTMC模型检测生成反例“，”publication_year“：2007，”publiation_date“：”2007-11-03“，”ids“：{”openalex“：”https://openalex.org/W1677369871“，”doi“：”https://doi.org/10.1007/978-3-540-75596-8_24“，”mag“：”1677369871“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-75596-8_24“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is-in_doaj“：false，”is_core“：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，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapper”，“indexed_in”：[”crossref“]，空，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5025707429“，”display_name“：”Tingting Han“，”orcid“：”https://orcid.org/0000-0002-2131-9200}，“机构”：[{“id”：https://openalex.org/I887968799“，”display_name“：”亚琛理工大学“，”ror“：”https://ror.org/04xfq0f34“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I887968799“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Tingting Han“，”raw _ afiliation_strings“：[“德国亚琛RWTH大学软件建模与验证以及荷兰特温特大学形式方法与工具#TAB#”]，”affiliations“：[{”raw_ afiliation _string“：”德国亚琛RWTH大学软件建模与验证以及荷兰特温特大学形式方法与工具#TAB#“，”institution_ids“：[”https://openalex.org/I887968799“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5090819329“，”display_name“：”Joost-Pieter Katoen“，”orcid“：”https://orcid.org/0000-0002-6143-1926}，“机构”：[{“id”：https://openalex.org/I887968799“，”display_name“：”亚琛理工大学“，”ror“：”https://ror.org/04xfq0f34“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I887968799“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Joost-Pieter Katoen“，”raw _ afiliation_strings“：[“德国亚琛RWTH大学软件建模与验证以及荷兰特温特大学形式方法与工具#TAB#”]，”从属关系“：[{”raw _affiliation_string“：”德国亚琛RWTH大学软件建模与验证以及荷兰特温特大学形式方法与工具#TAB#“，”institution_ids“：[”https://openalex.org/I887968799“]｝]｝]，”institution_assertions“：[]，”countries_destict_count“：1，”institutions_dispict_count“：1，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：null，”fwci“：6.098，”has_fulltext“：false，”cited_by_count“：21，”citation_normalized_p百分位数“：｛”value“：0.681704，”is_in_top_1_p百分位数“：false，”is_in_top_10_percent“：false}，”cited_by_percentile_year“：{”min“：88，”max“：89}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：“331”，“last_page”：“346”}，，“is_retracted”：false，“is_paratext”：false，“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/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9916，“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/keywords/反例“，”display_name“：”反例“，”score“：0.8181349}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.569254}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时序逻辑“，”score“：0.557223}，{”id“：”https://openalex.org/keywords/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.533295}，{”id“：”https://openalex.org/keywords/model-consistency“，”display_name“：”模型一致性“，”score“：0.523362}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.5138}，{”id“：”https://openalex.org/keywords/reachability问题“，”display_name“：”可达性问题“，”score“：0.44862607}]，”concepts“：[{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”level“：2，”score“：0.8655851}，{”id“：”https://openalex.org/C162838799，“wikidata”：https://www.wikidata.org/wiki/Q596077“，”display_name“：”反例“，”level“：2，”score“：0.8181349}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.7300486｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5982762}，{”id“：”https://openalex.org/C98763669，“wikidata”：https://www.wikidata.org/wiki/Q176645“，”display_name“：”Markov链“，”level“：2，”score“：0.5860408}，{”id“：”https://openalex.org/C34388435，“wikidata”：https://www.wikidata.org/wiki/Q2267362“，”display_name“：”绑定函数“，”level“：2，”score“：0.5654818}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.5130917}，{”id“：”https://openalex.org/C2777735758，“wikidata”：https://www.wikidata.org/wiki/Q817765“，”display_name“：”Path（computing）“，”level“：2，”score“：0.4787854}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.47263545｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.46110943}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.45817375}，{”id“：”https://openalex.org/C2777669093，“wikidata”：https://www.wikidata.org/wiki/Q17141570网址“，”display_name“：”可达性问题“，”level“：3，”score“：0.44862607}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.42725855}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.42219985}，{”id“：”https://openalex.org/C25016198，“wikidata”：https://www.wikidata.org/wiki/Q781833“，”display_name“：”时态逻辑“，”level“：2，”score“：0.4108941}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.35938326}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.31115925}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.089695066}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.07132697}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”display_name“：”古生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-75596-8_24“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is-in_doaj“：false，”is_core“：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，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[{“id”：“https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“，”score“：0.46}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：20，”referrenced_works“：]”https://openalex.org/W1502122036","https://openalex.org/W1512013481","https://openalex.org/W1549312786","https://openalex.org/W1926463588","https://openalex.org/W1998779352","https://openalex.org/W1999836359","https://openalex.org/W2005998857","https://openalex.org/W2014550367","https://openalex.org/W2041226400","https://openalex.org/W2049229863","https://openalex.org/W2090311494","https://openalex.org/W2101577148","https://openalex.org/W2128934846","https://openalex.org/W2131058166","https://openalex.org/W2141881497","https://openalex.org/W2154602821","https://openalex.org/W2158655806","https://openalex.org/W2164096878","https://openalex.org/W2169528473网址","https://openalex.org/W4233436407“]，”related_works“：[”https://openalex.org/W4253760428","https://openalex.org/W4226455345","https://openalex.org/W2953113086","https://openalex.org/W2952737788","https://openalex.org/W2884574904","https://openalex.org/W2765989158","https://openalex.org/W2099490078","https://openalex.org/W2056825861","https://openalex.org/W2047831585","https://openalex.org/W1552191998“]，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1677369871“，”counts_by_year“：[{”年“：2014，”cited_by_count“：1}]，”更新日期“：”2024-09-20T00:51:44.117976“，”创建日期“：“2016-06-24”}