{“id”：“https://openalex.org/W92051393网址“，”doi“：”https://doi.org/10.1007/978-3-319-02444-8_35“，”title“：“PyEcdar:面向时间系统的开源实现”，“display_name”：“PyEcdar:Towards Open Source Implementation for Timed Systems”，“publication_year”：2013，“publiction_date”：“2013-01-01”，“ids”：{“openalex”：“https://openalex.org/W92051393“，”doi“：”https://doi.org/10.1007/978-3-319-02444-8_35“，”mag“：”92051393“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-02444-8_35“，”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，”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://hal.science/hal-01087318/document“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5030129842“，”display_name“：”Axel Legay“，”orcid“：”https://orcid.org/0000-0003-2287-8925}，“机构”：[{“id”：https://openalex.org/I4210133778“，”display_name“：”Inria Rennes-Bretagne亚特兰蒂斯研究中心“，”ror“：”https://ror.org/04040yw90“，”country_code“：”FR“，”type“：”government“，”沿袭“：[”https://openalex.org/I1326498283","https://openalex.org/I4210133778“]}，{”id“：”https://openalex.org/I1326498283“，”display_name“：”法国计算机科学与自动化研究所“，”ror“：”https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：”government“，”沿袭“：[”https://openalex.org/I1326498283“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Axel Legay“，”raw _affiliation_strings“：[“INRIA Rennes，France”]，”从属关系“：[{”raw _affiliation_string“：”INRIA Rennes，Frence“，”institution_ids“：[https://openalex.org/I4210133778","https://openalex.org/I1326498283“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5028376436“，”display_name“：”Louis\u2010Marie Traonouez“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210133778“，”display_name“：”Inria Rennes-Bretagne亚特兰蒂斯研究中心“，”ror“：”https://ror.org/04040yw90“，”country_code“：”FR“，”type“：”government“，”沿袭“：[”https://openalex.org/I1326498283","https://openalex.org/I4210133778“]}，{”id“：”https://openalex.org/I1326498283“，”display_name“：”法国计算机科学与自动化研究所“，”ror“：”https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：”government“，”沿袭“：[”https://openalex.org/I1326498283“]}]，”countries“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Louis-Marie Traonouez“，”raw _affiliation_strings“：【”INRIA Rennes，France“】，”affiliations“：[{”raw _affiliation_string“：”INRIA-Rennes“，France”，“institution_ids”：[“https://openalex.org/I4210133778","https://openalex.org/I1326498283“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：1.325，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_b”y_count“：8，”cited_by_percentile_year“：{”min“：85，”max“：86｝，”biblio“：｛”volume“：null，”issue“：null，”first_page“：”460“，”last_page“：”463“｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9996，“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.9996，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9946，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9941，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.509033}]，”concepts“：[{”id“：”https://openalex.org/C3018397939，“wikidata”：https://www.wikidata.org/wiki/Q3644502“，”display_name“：”开源“，”level“：3，”score“：0.7625949}，{”id“：”https://openalex.org/C2780598303，“wikidata”：https://www.wikidata.org/wiki/Q65921492“，”display_name“：”灵活性（工程）“，”level“：2，”score“：0.74435955}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7407302}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.22900206}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.074352056}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.04727912}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：7，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-02444-8_35“，”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，”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://hal.archives-ouvertes.fr/hal-01087318，“pdf_url”：https://hal.science/hal-01087318/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.science/hal-01087318“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.science/hal-01087318/file/pyecdar-atva2013.pdf，“pdf_url”：https://hal.science/hal-01087318/file/pyecdar-atva2013.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.646.2650，“pdf_url”：http://people.rennes.iria.fr/Louis-Marie.Traonouez/publications/atva13.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-01087318/file/pyecdar-atva2013.pdf，“pdf_url”：https://hal.archives-ouvertes.fr/hal-01087318/file/pyecdar-atva2013.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-01087318/document，“pdf_url”：https://hal.archives-ouvertes.fr/hal-01087318/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-01087318，“pdf_url”：https://hal.science/hal-01087318/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，”grants“：【】，“datasets”：【】https://openalex.org/W1587502808","https://openalex.org/W1599995366","https://openalex.org/W203784168","https://openalex.org/W2041501217","https://openalex.org/W2135876957","https://openalex.org/W2156314014","https://openalex.org/W2158127052","https://openalex.org/W24620155","https://openalex.org/W64121912“]，”related_works“：[”https://openalex.org/W2748952813","https://openalex.org/W2530322880","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","https://openalex.org/W1596801655“]，”ngrams_url“：”https://api.openalex.org/works/W92051393/ngrams网站“，”abstract_inverted_index“：{”PyEcdar“：[0]，”is“：[1,14]，”an“：[2]，”open“：[3]，”source“：[4]，“implementation”：[5]，”for“：[6]，”reasoning“：[7]，”on“：[8,26]，”timed“：[9,27]，”systems.“：[10,28]，”PyEcdar\u2019s“：[11]，”main“：[12]，”objective“：%13]，”not“：[1]，“效率”，：[16]，“但是”：[17]，“宁可”：[18]，“灵活性”：[19]，“to”：[20]，“test”：[21]，“and”：[22]，“实现“：[23]，”new“：[24]，”results“：[25]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W92051393“，”“counts_by_year”：[{“年份”：2022，”“cited_by_count”：1}，{“年度”：2019，”“cited_by_cunt”：1}，}“年份“：2018，”“cited_by-count”“：2}，”{“年”：2015，“cited_by_count“：3}，，{”“年”“：2014，”“icted_by/count”:1}]，”“updated_date”：“2024-06-24T13:12:44.604193”，”“created_dated”：“2016-06-24”}