{“id”：“https://openalex.org/W132127320“，”doi“：”https://doi.org/10.1007/978-3642-33365-1_13“，”title“：”Timed Systems的基于SMT的归纳方法“，”display_name“：”Time Systems的SMT归纳法“，”publication_year“：2012，”publiation_date“：”2012-01-01“，”ids“：{”openalex“：”https://openalex.org/W132127320“，”doi“：”https://doi.org/10.1007/978-3-642-33365-1_13“，”mag“：”132127320“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3642-33365-1_13“，”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”：true，“oa_status”：“green”，“oa_url”：https://arxiv.org/pdf/1204.5639“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5056829606“，”display_name“：”Roland Kindermann“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I9927081“，”display_name“：”阿尔托大学“，”ror“：”https://ror.org/020hwjq30“，”country_code“：”FI“，”type“：“教育”，”世系“：[”https://openalex.org/I9927081“]}]，”国家“：[”FI“]，”is_corresponding“：false，”raw_author_name“：”Roland Kindermann“，”raw_affiation_strings“：[”[芬兰阿尔托阿尔托大学信息与计算机科学系]“]，”附属机构“：[{”raw_affiation_string“：”[芬兰阿尔托阿尔托大学信息与计算机科学系]“，”institution_ids“：[”https://openalex.org/I9927081“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5037137004“，”display_name“：”Tommi Junttila“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I9927081“，”display_name“：”阿尔托大学“，”ror“：”https://ror.org/020hwjq30“，”country_code“：”FI“，”type“：“教育”，”世系“：[”https://openalex.org/I9927081“]}]，”国家“：[”FI“]，”is_corresponding“：false，”raw_author_name“：”Tommi Junttila“，”raw _affiliation_strings“：[“[芬兰阿尔托阿尔托大学信息与计算机科学系]”]，”affiliations“：[{”raw _affiliation_string“：”[芬兰阿尔托阿尔托阿尔多大学信息与计算科学系]“，”institution_ids“：]”https://openalex.org/I9927081“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5000911721“，”display_name“：”Ilkka Niemel\u00e4“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I9927081“，”display_name“：”阿尔托大学“，”ror“：”https://ror.org/020hwjq30“，”country_code“：”FI“，”type“：“教育”，”世系“：[”https://openalex.org/I9927081“]}]，”国家“：[”FI“]，”is_corresponding“：false，”raw_author_name“：”Ilkka Niemel\u00e4“，”raw _ afiliation_strings“：[“[芬兰阿尔托阿尔托大学信息与计算机科学系]”]，”affiliations“：[{”raw _affiliation_string“：”[芬兰阿尔托阿尔托阿尔多大学信息与计算科学系]“，”institution_ids“：[https://openalex.org/I9927081“]}]}]，”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“：20.424，”has_fulltext“：false，”cited _by_count“：34，”引用规范化百分比“：{”value“：0.990793，”is_in_top_1_percent“：true，”is-in_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：93，”max“：94}，“biblio”：{“volume”：null，”issue“：null”，“first_page”：“171”，“last_page”：“187”}，‘is_retracted’：false，”is_paratext“：false”，“primary_topic”：{“id”：“https://openalex.org/T10363“，”display_name“：”低功耗VLSI电路设计与优化“，”score“：0.9972，”subfield“：{”id“：”https://openalex.org/subfields/2208“，”display_name“：”电气与电子工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10363“，”display_name“：”低功耗VLSI电路设计与优化“，”score“：0.9972，”subfield“：{”id“：”https://openalex.org/subfields/2208“，”display_name“：”电气与电子工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9954，“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/T11697“，”“display_name”：“科学计算中的浮点运算”，“score”：0.9953，“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/model-checking“，”display_name“：”模型检查“，”score“：0.511656}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.50806}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.505067}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.87934387}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.4355348}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3642-33365-1_13“，”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}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/1204.5639，“pdf_url”：https://arxiv.org/pdf/1204.5639，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/1204.5639，“pdf_url”：https://arxiv.org/pdf/1204.5639，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：26，“referrenced_works”：https://openalex.org/W132127320","https://openalex.org/W136284023","https://openalex.org/W1488662850","https://openalex.org/W1489391022","https://openalex.org/W1495266209","https://openalex.org/W1500991862","https://openalex.org/W1506588809","https://openalex.org/W1515378123","https://openalex.org/W1549166962","https://openalex.org/W1552280794","https://openalex.org/W1558869278","https://openalex.org/W1571054242","https://openalex.org/W1962072139","https://openalex.org/W1989746243","https://openalex.org/W2046239089","https://openalex.org/W2101508170","https://openalex.org/W2110492732","https://openalex.org/W2118791871","https://openalex.org/W2125967324","https://openalex.org/W2150220388","https://openalex.org/W2609082151","https://openalex.org/W2911583164","https://openalex.org/W3138459719","https://openalex.org/W41277334","https://openalex.org/W4253563042","https://openalex.org/W81626549“]，”related_works“：[”https://openalex.org/W4391913857","https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2478288626","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2001405890“]，”abstract_inverted_index“：{”建模“：[0]，”时间相关“：[1]，”方面“：[2]，”是“：[3,15,39114136]，”重要“：[4]，”in“：[5109138]，”许多“：[6]，”应用程序“：[7]，”的“：[8,48,56,75101106]，”验证“：[9,42,95130156]，”方法。“：[10,43]，”对于“：[11]，”精确“：[12]，”结果“：[13]，“it”：[14]，“necessary”：[16]，“to”：[17,61,66,85142153]解释“：[18]，“时间”：[19134163]，“为”：[20,28]，“a”：[21,29,72,89139154]，“密集”：[22]，“域”：[23]，“例如”：[24]，“使用”：[25]，“定时”：[26,69,82107124144]，“自动机”：[27]，“形式主义”：[30]，“偶数”：[31]，“虽然”：[32]，“the”：[33,57,86102110119160]，“system's”：[34]，“结果”：[35]，“无限”：[36103]，“状态”：[37,58104]，“空格”：[38,59]，“挑战“：[40]，”代表“：[41,97123132]，”此外，“：[44]，”完全“：[45]，”象征“：[46129]，”治疗“：[47]，”两者“：[49]，”时间“：[50]，”相关“：[51,54]，”和“：[52150]，”非定时“：[53]，”元素“：[55]，”似乎“：[60]，”提供“：[62]，”一个“：[63,80]，”有吸引力“：[64]，”方法“：[65157]，“model”：[67]，“checking”：[68]，“systems”：[70]，“with”：[71]，“large”：[73]数量“：[74]，”非决定论。“：[76]，“This”：[77]，“paper”：[78]，“presents”：[79]，“基于SMT”：[81]，“system”：[83108]，“extension”：[84]，“IC3”：[87112164]，“algorithm”，“：[88]，“SAT-based”：[90]，“novel”，：[91]，“highly”：[92]，“efficiency”，“:[93]，“complete”：[94]，“method”：96131]，“untimed”：[98]，“系统。“：[99125145]，“处理”：[100]，“空格”：[105]，“扩展”：[111137]，“算法”：[113]，“基于”：[115]，“on”：[116]，“适当”：[117]，“适应”：[118]，“已知”：[120]，“区域”：[121]，“抽象”：[122]，“此外”：[126]，“k-归纳”：[127]，“另一个”：[128]，“离散”：[133162]，“系统”：[135]，“类似”：[140]，“时尚”：[141]，“支持”：[143]，““：[146]，”方法“：[147]，”是“：[148]，”评估“：[149]，”实验“：[151]，”比较“：[152]，”布尔化“：[155]，”that“：[158]，”uses“：[159]，”original“：[161]，”algorithm。“：[165]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W132127320“，”“counts_by_year”：[{“年份”：2022，”“cited_by_count”：2}，{“年度”：2021，”“cited_by_cunt”：1}，}“年份“：2020，”“：2015，”cited_by_count“：4}，{“年份”：2014，”cited_by_count，{“年份”：2012，“引用_ by_count”：1}]，“更新日期”：“2024-09-19T21:21:38.423954”，“创建时间”：“2016-06-24”}