{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T23:58:16Z”，“时间戳”：1725494296960}，“出版商位置”：“柏林，海德堡”，“参考计数”：17，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540755951“}，{”类型“：“electronic”，“value”：“9783540755968”}]，“license”：[{“start”：{“date-parts”：[[2007,1,1]]，“date-time”：“2007-01-01T00:00:00Z”，“timestamp”：11676096000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}]}，“short-container-title”：[]，“published-print”：｛“日期部分”：[[2007]]｝，“DOI”：“10.1007\/978-3-540-75596-8_15”，“类型”：“书籍章节”，“已创建”：｛“日期部分”：[[2007,11,3]]，“日期时间”：“2007-11-03T10:03:37Z”，“时间戳”：1194084217000｝，“页面”：“192-206”，“来源”：“Crossref”，“由计数引用”：27，“标题”：[“基于观察和口吃不变策略的定时控制”]，“前缀”：“10.1007”，“作者”：[{“given”：“Franck”，“family”：“Cassez”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Alexandre”，“家庭”：“David”，”sequence“：”additional“，”affiliance“：[]neneneep，{”given“：”Kim G.“，”family“：”Larsen“，”se序列“：”附加“，”从属关系“：[]}，“givent”：“Dididider”，“家族”：“Lime”，“序列”：“additional”，“从属关系“：[]}，{”给定“：“Jean-Fran\u00e7ois”，“family”：“Raskin”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“15_CR1”，“unstructured”：“Altisen，K.，Tripakis，S.：定时系统控制器综合工具。In:Proc.2nd Work.on Real-Time Tools（RT-Tools 2002），程序。以技术报告2002-025出版，瑞典乌普萨拉大学（2002）“}，{“问题”：“2”，“关键”：“15_CR2”，“doi-asserted-by”：“出版商”，“首页”：“183”，“doi”：“10.1016\/0304-3975（94）90010-8”，“卷”：“126”，作者：“R.Alur”，年：“1994”，“非结构化”：“Alur，R.，Dill，D.：时间自动机理论。理论计算机科学\u00a0126（2），183\u2013235（1994）“，”journal-title“：理论计算机科学”}，{“key”：“15_CR3”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“crossref”，“first-page:”19“，”doi“：”10.1007\/3-540-48983-5_6“，”volume-titleAsarin，E.，Maler，O.：尽快：时间自动机的时间最优控制。收录人：Vaandrager，F.W.，van Schuppen，J.H.（编辑）HSCC 1999。LNCS，第u00a01569卷，第19\u201330页。Springer，Heidelberg（1999）“}，{”key“：”15_CR4“，”first page“：“469”，”volume-title“：”Proc.IFAC Symp.on System Structure&Control“，”author“：”E.Asarin“，”year“：”1998“，”unstructured“：”Asarin，E.，Maler，O.，Pnueli，A.，Sifakis，J.：Timed Automata的控制器综合。In:Proc.IFACSymp.on-System Structure and Control，pp.469\u2013474。Elsevier Science，Amsterdam（1998）“}，{”key“：”15_CR5“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“121”，”doi“：”10.1007\/978-3-540-73368-3_14“，”volume-title“：“CAV 2007”，”author“：”G.Behrmann“，”year“：”2007“，”unstructured“：”Behrmann，G.，Cougnard，A.，David，A.，Fleury，E.，Larsen，K.，Lime，D.：Uppaal-tiga：游戏时间到了！摘自：Damm，W.，Herrmanns，H.（编辑）CAV 2007。LNCS，卷\u00a04590，第121\u2013125页。Springer，Heidelberg（2007）“}，{”key“：”15_CR6“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“200”，”doi“：”10.1007\/978-3-540-30080-9_7“，”volume-title“：“SFM”，”author“：”G.Behrmann“，”year“：”2004“，”unstructured“：”Behrmann，G.，David，A.，Larsen，K.G.：关于uppaal的教程。收录人：Bernardo，M.，Corradini，F.（编辑）SFM。LNCS，第00a03185卷，第200页\u2013236。施普林格，海德堡（2004）“}，{“键”：“15_CR7”，“首页”：“125”，“卷标题”：“QEST”，“作者”：“G.Behrmann”，“年份”：“2006”，“非结构化”：“Behrmann，G.，David，A.，Larsen，K.G.，H\u00e5kansson，J.，Pettersson，P.，Yi，W.，Hendriks，M.:Uppaal 4.0。收录于：QEST，第125\u2013126页。IEEE Computer Society Press，Los Alamitos（2006）“}，{”key“：”15_CR8“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“180”，”doi“：”10.1007\/978-3-540-45069-6_18“，“volume-title”：“CAV 2003”，“author”：“P.Bouyer”，“year”：“2003”，”unstructured“：”Bouyer，P.、D\u2019Souza，D.、Madhusudan，P.和Petit，A.：具有部分可观测性的时间控制。收录：Hunt Jr.，W.A.，Somenzi，F.（编辑）CAV 2003。LNCS，第u00a02725卷，第180\u2013192页。Springer，Heidelberg（2003）“}，{”key“：”15_CR9“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“66”，”doi“：”10.1007\/11539452_9“，“volume-title”：“CONCUR 2005”，”author“：”F.Cassez“，”year“：”2005“，”unstructured“：”Cassez，F.、David，A.、Fleury，E.、Larsen，K.、Lime，D.：用于分析计时游戏的高效实时算法。收录：Abadi，M.，de Alfaro，L.（编辑）CONCUR 2005。LNCS，第u00a03653卷，第66\u201380页。Springer，Heidelberg（2005）“}，{”key“：”15_CR10“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“287”，”doi“：”10.1007\/11874683_19“，”volume-title“：“CSL”，”author“：”K.Chatterjee“，”year“：”2006“，”unstructured“：”Chatterjee，K.，Doyen，L.，Henzinger，T.A.，Raskin，J.-F:具有不完全信息的omega正则对策的算法。收录于：\u00c9sik，Z.（ed.）CSL 2006。LNCS，第u00a04207卷，第287\u2013302页。Springer，Heidelberg（2006）“}，{”key“：”15_CR11“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”first page“：“197”，”doi“：”10.1007\/3-540-52148-8_17“，”volume-title“：“Finite-State系统自动验证方法研讨会”，“author”：“D.Dill”，“year”：“1990”，“unstructured”：“Dill，D.：有限状态并发系统的时序假设和验证。摘自：Sifakis，J.（编辑）Finite-State系统自动验证方法研讨会。LNCS，第u00a0407卷，第197\u2013212页。Springer，Heidelberg（1990）“}，{”key“：”15_CR12“，”series-title“：”IFIP Conf.Proc“，”first page“：“439”，“volume-title”：“IFIP TC6 WG6.1 Joint Int.Conf.FORTE\u2019XI and PSTV\u2019-XVIII的Proc.”，“author”：“F.Laroussine”，“year”：“1998”，“unstructured”：“Laroussinie，F.，Larsen，K.G.：CMC：实时系统的组合模型检查工具。收录人：Budkowski，S.，Cavalli，A.R.，Najm，E.（编辑）Proc。IFIP TC6 WG6.1联合国际Conf.FORTE \u2019XI和PSTV \u2019 XVIII。IFIP Conf.Proc，vol.\u00a0135，pp.439\u2013456。Kluwer Academic Publishers，Dordrecht（1998）“}，{”key“：”15_CR13“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“529”，”doi“：”10.1007\/3-540-60246-1_158“，”volume-title“：“MFCS 1995”，”author“：”F.Laroussinie“，”year“：”1995“，”unstructured“：”Laroussinie，F.，Larsen，K.G.，Weise，C.：从时间自动机到逻辑，再到逻辑。收录：H\u00e1jek，P.，Wiedermann，J.（编辑）MFCS 1995。LNCS，卷\u00a0969，第529页\u2013539。Springer，Heidelberg（1995）“}，{”key“：”15_CR14“，”doi-asserted-by“：”crossref“，”unstructured“：”Larsen，K.，Pettersson，P.，Yi，W.：“实时系统的模型检查。计算理论基础，62\u201388（1995）”，“doi”：“10.1007\/3-540-60249-6_41”}，“”key：“15_CR15”，“series-title”：“计算机科学讲稿”，“doi-assert-by”：“”crossref“，”first page“：”229“，”DOI“：”10.1007 \/3-540-59042-0_76“，”volume-title“：”STACS 1995“，”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“：”15_CR16“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“233”，”doi“：”10.1007\/3-540-48119-2_15“，”volume-title“：“FM 1999”，”author“：”S.Tripakis“，”year“：”1999“，”unstructured“：”Tripakis，S.，Altisen，K.：离散和定时系统的实时控制器综合。In:Wing，J.M.，Woodcock，J.C.P.，Davies，J.（编辑）FM 1999。LNCS，第u00a01708卷，第233\u2013252页。Springer，Heidelberg（1999）“}，{”key“：”15_CR17“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“153”，”doi“：”10.1007\/11730637_14“，”volume-title“：“HSCC”，”author“：”M.D.Wulf“，”year“：”2006“，”unstructured“：”Wulf，M.D.，Doyen，L.，Raskin，J.-F.：解决不完全信息博弈的格理论。收录：Hespanha，J.P.，Tiwari，A.（编辑）HSCC 2006。LNCS，第u00a03927卷，第153\u2013168页。Springer，Heidelberg（2006）“}]，“container-title”：[“计算机科学课堂讲稿”，“用于验证和分析的自动化技术”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10.1007\/978-3-540-75596-8_15”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查“}]，“存放”：{“日期部分”：[[2019,5,19]]，“日期时间”：“2019-05-19T10:50:59Z”，“时间戳”：1558263059000}，“分数”：1，“资源”：{-“主要”：{:“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-75596-8_15”}}，”副标题：[]，“短标题”：[]}，“ISBN”：[“9783540755951”，“978354755968”]，“references count“：17，”URL“：”http:\/\/dx.doi.org/10.1007\/978-3-540-75596-8_15“，”relationship“：｛｝，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN type“：[”type“：”print“，”value“：”0302-9743“｝，”type“：”electronic“，”value“：”1611-3349“｝]，”subject“：[]，”published“：”date parts“：[[2007]]｝｝