{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,1,9]]，“日期时间”：“2023-01-09T23:28:28Z”，“时间戳”：1673306908495}，“出版商位置”：“马萨诸塞州波士顿”，“参考计数”：18，“出版者”：“Springer US”，“isbn-type”：[{“值”：“9781475752755”，“类型”：”打印“}，{“值”：“9780387356082”，“类型”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[2002]]}，”DOI“：”10.1007\/978-0-387-35608-2_40“，”type“：”book-capter“，”created“：”{“date-part”：[[2013,12,29]]，“date-time”：“2013-12-29T16:57:25Z”，“timestamp”：1388336245Z 000}，“页面”：“485-497”，“源”：“交叉引用”，“is-referenced-by-count”：10，“title”：[“非循环加权时间自动机的最优可读性和控制”]，“prefix”：“10.1007”，“author”：[{“given”：“Salvatore”，”family“：”Torre“，”sequence“：”first“，”affiliation“：[]}，{“fivent”：“Supratik”，ano“，”序列“：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“40_CR1”，“volume-title”：“第五届计算机辅助验证国际会议议事录，CAV93，LNCS 697，第181-193页。Springer”，“author”：“R Alur”，“year”：“1993”，“unstructured”：“R.Alur、C.Courcoubetis和T.A.Henzinger。计算实时系统中的累积延迟。程序中。第五届计算机辅助验证国际会议，CAV\u201993，LNCS 697，第181\u2013193页。Springer，1993.“}，{”key“：”40_CR2“，”doi-asserted-by“：”publisher“，”首页“：”183“，“doi”：“10.1016\/0304-3975（94）90010-8”，“volume”：“126”，“author”：“R Alur”，”year“：”1994“，”unstructured“：”R.Alur和D.L.Dill。时间自动机理论。理论计算机科学，126:183\u2013235，1994。“，”journal-title“：”theory Computer Science“}”，{“key”：“”40_CR3“，“非结构化”：R.Alur、S.La Torre和S.Mukhopadhyay。具有NP-完全可达性问题的时间自动机的子类。宾夕法尼亚大学独联体系，2001年。网址：\u201cht tp:\/\/vnu。cis.upenn.eduRlatorre\/Papers\/ata.ps.gz\u201d。}，{“key”：“40_CR4”，“volume-title”：“第四届混合系统国际研讨会论文集：计算与控制，HSCC01，LNCS 2034，第49-62页。Springer”，“作者”：“R Alur”，“年份”：“2001”，“非结构化”：“R.Alur，S.La Torre和G.J.Pappas。加权时间自动机中的最优路径。程序中。第四届混合系统：计算与控制国际研讨会，HSCC\u201901，LNCS 2034，第49\u201362页。Springer，2001.“}，{“key”：“40_CR5”，“volume-title”：“第二届混合系统国际研讨会论文集：计算与控制，LNCS 1569，第19-30页。Springer，“作者”：“E Asarin”，“年份”：“1999年”，“非结构化”：“E.Asarin和O.Maler。尽快：时间自动机的时间最优控制。程序中。第二届混合系统：计算与控制国际研讨会，LNCS 1569，第19\u201330页。Springer，1999.“}，{”key“：“40_CR6”，”first page“：”478“，”volume-title“：”第13届计算机辅助验证实习生会议的议事录，CAV01，LNCS 2102“，”author“：”Y Abdedaim“，”year“：”2001“，”unstructured“：”Y.Abdedaim and O。马勒。使用时间自动机的车间调度。程序中。第13届实习生。计算机辅助验证会议，CAV\u201901，LNCS 2102，第478\u2013492页，2001年。Springer”，“author”：“E Asarin”，“year”：“1995”，“unstructured”：“E.Asarin、O.Maler和A.Pnueli。离散和定时系统的符号控制器综合。程序中。第二届混合动力系统国际研讨会，LNCS 999，第1\u201320页。Springer，1995.“}，{“key”：“40_CR8”，“volume-title”：“第四届混合系统国际研讨会论文集：计算与控制，HSCC01，LNCS 2034，第147-161页。斯普林格”，“作者”：“G贝尔曼”，“年份”：“2001年”，“非结构化”：“G.贝尔曼、T.匈奴、A.芬克、K.拉森、P.佩特森、R.罗米恩和F.瓦德拉格。定价时间自动机的最低成本可达性。程序中。第四届混合系统国际研讨会：计算与控制，HSCC\u201901，LNCS 2034，第147\u2013161页。Springer，2001.“}，{“key”：“40_CR9”，“volume-title”：“第三届计算机辅助验证国际会议的会议记录，LNCS 575，第399-409页。施普林格”，“作者”：“C Courcoubetis”，“年份”：“1991”，“非结构化”：“C.Courcoubetis和M.Yannakakis。实时系统中的最小和最大延迟问题。程序中。第三届计算机辅助验证国际会议，LNCS 575，第399\u2013409页。Springer，1991。“}，{”key“：”40_CR10“，”volume-title“：”第19届计算机科学理论方面年度研讨会论文集，STACS02，LNCS 2285，第571-582页。施普林格”，“作者”：“D D\u2019Souza”，“年份”：“2002”，“非结构化”：“D D\u2019Souza和P.Madhusudan。外部规范的定时控制合成。程序中。第19届计算机科学理论方面年度研讨会，STACS\u201902，LNCS 2285，第571\u2013582页。Springer，2002.“}，{“key”：“40_CR11”，“volume-title”：“第三届实习生验证、模型检查和抽象解释研讨会的程序，VMCAI02，LNCS 2294，第94-108页。斯普林格”，“作者”：“M Faella”，“年份”：“2002年”，“非结构化”：“M.Faella，S.La Torre和A.Murano。时间博弈的自动机理论决策。程序中。第三名实习生。验证、模型检查和抽象解释研讨会，VMCAI\u201902，LNCS 2294，第94页\u2013108。Springer，2002.“}，{“key”：“40_CR12”，“volume-title”：“第17届IEEE计算机科学逻辑研讨会论文集，LICS02，IEEE计算机社会出版社”，“author”：“M Faella”，“year”：“2002”，“unstructured”：“M.Faella，S.La Torre，and A。穆拉诺。密集实时游戏。程序中。第17届IEEE计算机科学逻辑年会，LICS\u201902，IEEE计算机社会出版社，2002年。拉科夫。一阶理论关于有序实加法的判定过程。SIAM计算杂志，4（1）：69\u2013761975。”，“期刊标题”：“SIAM计算期刊”}，{“关键字”：“40_CR14”，“首页”：“320”，“卷-时间”：“第十届并发理论国际会议论文集，CONCUR99，LNCS 1664”，”作者“：”T Henzinger“，”年份“：”1999“，”非结构化“：”T.Henziger，B.Horowitz，and R。马朱姆达尔。矩形混合游戏。程序中。第十届并发理论国际会议，CONCUR\u201999，LNCS 1664，第320页\u2013335，1999年。“}，{“问题”：“12”，“关键”：“40_CR15”，“doi-asserted-by”：“出版商”，“首页”：“369”，“doi”：“10.1016\/S0304-3975（99）00038-9”，“卷”：“221”，“作者”：“T Henzinger”，“年份”：“1999”，“非结构化”：“T.Henziger and P。科普克。矩形混合自动机的离散时间控制。理论计算机科学，221（1\u20132）：369\u20133921999.“，“期刊标题”：“理论计算机科学”}，{“关键”：“40_CR16”，“卷标题”：《第十三届计算机辅助验证国际会议论文集》，CAV01，LNCS，第493-505页。斯普林格，“作者”：“KG Larsen”，“年份”：“2001年”，“非结构化”：“K·G·Larsen，G·贝尔曼，E.Brinksma，A.Fehnker，T.Hune，P.Peterson，J.Romijn。尽可能便宜：定价时间自动机的高效成本最优可达性。程序中。第13届计算机辅助验证国际会议，CAV\u201901，LNCS，第493\u2013505页。Springer，2001.“}，{“key”：“40_CR17”，“volume-title”：“第十二届计算机科学理论方面年度研讨会论文集，STACS95，LNCS 900，第229-242页。Springer”，“author”：“O Maler”，“year”：“1995”，“unstructured”：“O.Maler，A.Pnueli，and J.Sifakis。关于定时系统离散控制器的综合。程序中。第十二届计算机科学理论方面年度研讨会，STACS\u201995，LNCS 900，第229\u2013242页。Springer，1995.“}，{“key”：“40_CR18”，“volume-title”：“第八届IEEE地中海控制与自动化会议纪要”，“author”：“P Niebert”，“year”：“2000”，“unstructured”：“P.Niebert，S.Tripakis，and S.Yovine。时间自动机的最短可达性。第八届EEE地中海控制与自动会议纪要，2000。”}]，“container-title”：[“网络和移动计算时代的信息技术基础”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-0-387-35608-2_40”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“存放”：{“date-parts”：[[2019,5,13]]，“日期时间”：“2019-05-13T20:41:30Z”，“时间戳”：1557780090000}，“分数”：1，“资源”：{“主要”：{“URL”：“http://\/link.springer.com\/10.1007\/978-0-387-35608-2_40”}}，《副标题》：[]，“短标题”：[]80387356082“]，“references-count”：18，“URL”：“http://\/dx.doi.org\/10.1007\/978-0-387-35608-2_40”，“关系”：{}，“主题”：[]，“发布”：{“日期-部件”：[[2002]]}}