{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,8,20]]，“日期时间”：“2023-08-20T18:43:30Z”，“时间戳”：1692557010680}，“出版商位置”：“柏林，海德堡”，“参考计数”：13，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540309468”，“类型”：“打印”}，{“值”：“9783540316169”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2005]]}，”DOI“：”10.1007\/11603009_5“，”type“：”book-capter“，”created“：”{“date-part”：[2005,11,28]]，“date-time”：“2005-11-28T11:13:33Z”，“timestamp”“：1133176413000}，”页面“：”49-64“，”源“：“Crossref”，“is-referenced-by-count”：31，“title”：[“On Optimal Timed Strategies”]，“prefix”：“10.1007”，”author“：[{”given“：”Thomas“，”family“：”Brihaye“，”sequence“：”first“，”affiliation“：[]}，{“given”：”V\u00e9ronique“，“family”：“Bruy\u00e8re”，“sequence”：“additional”，“afliation”：[]{“fixed”：“Jean-Fran\u00e 7ois”，“family”：“Raskin”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“5_CR1”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，《首页》：“536”，“doi”：“10.1007\/3-540-44685-0_36”，《volume-title》：“CONCUR 2001-并发理论”，“author”：“L.Alfaro de”，“year”：“2001”，“unstructured”：“de Alfaro，L.，Henzinger，T.A.，Majumdar，R.：无限状态游戏的符号算法。收录：Larsen，K.G.，Nielsen，M.（编辑）CONCUR 2001。LNCS，第u00a02154卷，第536\u2013550页。Springer，Heidelberg（2001）“}，{”key“：”5_CR2“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“144”，”doi“：”10.1007\/978-3-540-45187-7_9“，”volume-title“：“CONCUR 2003-并发理论”，”author“：”L.Alfaro de“，”year“：”2003“，”unstructured“：”de Alfaro，L.，Faella，M.，Henzinger，T.A.，Majumdar，R.，Stoelinga，M.:限时游戏中的惊喜元素。收录：Amadio，R.M.，Lugiez，D.（编辑）CONCUR 2003。LNCS，第\u00a02761卷，第144页\u2013158。Springer，Heidelberg（2003）“}，{”key“：”5_CR3“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“1”，”doi“：”10.1007\/978-3-540-30080-9_1“，“volume-title”：“实时系统设计的形式方法”，“author”：“R.Alur”，“year”：“2004”，“unstructured”：“Alur，R.，Madhusudan，P.：时间自动机的决策问题：一项调查。收录：Bernardo，M.，Corradini，F.（编辑）SFM-RT 2004。LNCS，第u00a03185卷，第1\u201324页。Springer，Heidelberg（2004）“}，{”key“：”5_CR4“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“122”，“doi”：“10.1007\/978-3-540-27836-8_13”，“volume-title”：“Automata，Languages and Programming”，“author”：“R.Alur”，“year”：“2004”，“unstructured”：“Alur，R.，Bernadsky，M.，Madhusudan，P.：加权时间博弈的最优可达性。收录人：D\u00edaz，J.、Karhum\u00e4ki，J.，Lepist\u00f6，A.、Sannella，D.（编辑）ICALP 2004。LNCS，第u00a03142卷，第122\u2013133页。Springer，Heidelberg（2004）“}，{”key“：”5_CR5“，”doi-asserted-by“：”publisher“，”first page“：“183”，“doi”：“10.1016\/0304-3975（94）90010-8”，“volume”：“126”，”author“：”R.Alur“，“year”：“1994”，“unstructured”：“Alur，R.，Dill，D.L.：时间自动机理论。理论。计算科学。\u00a0126183\u2013235（1994）”，“journal al-title“：”理论计算科学“}，{“key”：“5_CR6“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：”49“，”doi“：”10.1007\/3-540-45351-2_8“，”volume-title“：“混合系统：计算和控制”，“author”：“R.Alur”，“year”：“2001”，“unstructured”：“Alur，R.，La Torre，S.，Pappas，G.J.：加权时间自动机中的最优路径。作者：Di Benedetto，M.D.，Sangiovanni-Vincentelli，A.L.（编辑）HSCC 2001。LNCS，第u00a02034卷，第49\u201362页。Springer，Heidelberg（2001）“}，{”key“：”5_CR7“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“19”，”doi“：”10.1007\/3-540-48983-5_6“，”volume-title“：“混合系统：计算与控制”，”author“：”E.Asarin“，”year“：”1999“，”unstructured“：”Asarin，E.，Maler，O.：尽快：时间自动机的时间最优控制。在：Vaandrager，F.W.，van Schuppen，J.H.（编辑）HSCC 1999。LNCS，第u00a01569卷，第19\u201330页。Springer，Heidelberg（1999）“}，{”key“：”5_CR8“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“147”，”doi“：”10.1007\/3-540-45351-2_15“，”volume-title“：“混合系统：计算与控制”，”author“：”G.Behrmann“，”year“：”2001“，”unstructured“：”Behrmann，G.，Fehnker，A.，Hune，T.，Larsen，K.，Pettersson，P.，Romijn，J.，Vaandrager，F.：定价时间自动机的最小成本可达性。作者：Di Benedetto，M.D.，Sangiovanni-Vincentelli，A.L.（编辑）HSCC 2001。LNCS，卷\u00a02034，第147\u2013161页。Springer，Heidelberg（2001）“}，{”key“：”5_CR9“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“148”，”doi“：”10.1007\/978-3-540-30538-5_13“，”volume-title“：“FSTTCS 2004:软件技术和理论计算机科学基础”，“author”：“P.Bouyer”，“year”：“2004”，“unstructured”：“”Bouyer，P.，Cassez，F.，Fleury，E.，Larsen，K.G.：定价时间博弈自动机中的最优策略。收录：Lodaya，K.，Mahajan，M.（编辑）FSTTCS 2004。LNCS，第u00a03328卷，第148\u2013160页。Springer，Heidelberg（2004）“}，{“key”：“5_CR10”，“series title”：“计算机科学讲义”，“doi断言者”：“出版者”，“首页”：“277”，“doi”：“10.1007\/978-3-540-30206-3_20”，“卷标题”：“定时和容错系统的形式技术、建模和分析”，“作者”：“T.Brihaye”，“年份”：“2004”，“非结构化”：“Brihaye，T.、Bruy\u00e8re，V.、Raskin，J.-F.：加权时间自动机的模型检查。收录于：Lakhnech，Y.、Yovine，S.（编辑）FORMATS 2004和FTRTFT 2004。LNCS，第u00a03253卷，第277\u2013292页。Springer，Heidelberg（2004）“}，{”key“：”5_CR11“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“229”，“doi”：“10.1007\/3-540-59042-0_76”，“volume-title”：“STACS 95”，“author”：“O.Maler”，“year”：“1995”，“unstructured”：“Maler，O.，Pnueli，A.，Sifakis，J.：关于定时系统离散控制器的综合。收录：Mayr，E.W.，Puech，C.（编辑）STACS 1995。LNCS，第u00a0900卷，第229\u2013242页。Springer，Heidelberg（1995）“}，{“key”：“5_CR12”，“volume-title”：“Computation:Finite and Infinite Machines”，“author”：“M.Minsky”，“year”：“1967”，“unstructured”：“Minsky，M.：Computation:Finited and Infinited Machines.Prentice-Hall，Englewood Cliffs（1967）”}，“key“：”5_CR13“，”first page“：“485”，“volume-title:”IFIP TCS 2002年会议记录，IFIP会议记录”，“作者”：“S.Torre La”，“年份”：“2002年”，“非结构化”：“La Torry，S.，Mukhopadhyay，S.和Murano，A.：非循环加权时间自动机的最优可访问性和控制。摘自：IFIP TCS 2002年会议记录，IFIP会议记录，第u00a0223卷，第485\u2013497页。Kluwer，Dordrecht（2002）“}”，“container-title”：[“计算机科学课堂讲稿”，“时间系统的形式化建模与分析”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10007\/11603009_5.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{date-parts“：[2021,4,27]]，“date-time”：“2021-04-27T07:03:27Z”，“timestamp”：161950700700}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/link.springer.com\/10.1007\/11603009_5”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2005]]}”，“ISBN”：[“9783540309468”，“978354316”169“]，”references-count“：13，”URL“：”http:\/\/dx.doi.org/10.1007\/11103009_5“，”relationship“：｛｝，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN type“：[”value“：”0302-9743“，”type“：”print“｝，”value“：”1611-3349“，”type“：”electronic“｝]，”subject“：[]，”published“：”date parts“：[[2005]]｝｝