{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,9,25]]，“日期时间”：“2022-09-25T04:58:32Z”，“时间戳”：1664081912824}，“发布者位置”：“Cham”，“引用计数”：14，“发布商”：“Springer Nature Switzerland”，“isbn-type”：[{“值”：“978303156281”，“类型”：”print“}，{“值”：“9783031156298”，“类型”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2022,1,1]]，“date-time”：“2022-01-01T00:00:00Z”，“timestamp”：1640995200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.springer.com\/tdm”}：1640995200000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com//tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”:{“date-parts”：[[2022]]}，”DOI“：”10.1007\/978-3031-15629-8_12“，”type“：”book-capter“，”created“：{”date-part“：[2022,9,24]]，”日期时间“：”2022-09-24T16:26:53Z“，”时间戳“：1664036813000}，“page”：“201-212”，“update-policy”：”http://\/dx.doi.org\/10.1007\/springer_crossmark_policy“，”source“：”Crossref“，“is-referenced-by-count”：0，“title”：[“寻找\u00a0an\u00a 0Dense-Time Metric时态逻辑的适当语义基础”]，“前缀”：“10.1007”，“作者”：[{“ORCID”：：“http://\ORCID.org\/0000-0002 9138-8340“，”认证证书“：false，“给定”：“Martin”，“family”：“Fr\u00e4nzle”，“sequence”：“first”，“affiliation”：[]｝]，“member”：“297”，“在线发布”：｛“日期部分”：[[2022,9,7]]｝，“reference”：[｛“key”：“12_CR1”，“doi asserted by”：“publisher”，“nonstructured”：“Alur，R.，Feder，T.，Henzinger，T.A.：放松守时的好处。In：Logrippo，L.（ed.）《第十届ACM分布式计算原理年度研讨会论文集》，加拿大魁北克省蒙特利尔，201321年8月19日，1991年，第139\u2013152页。ACM（1991）。https:\/\/doi.org\/10.1145\/11260.112613“，“doi”：“10.1145\/112600.112613”}，{“key”：“12_CR2”，“doi-sserted-by”：“publisher”，“unstructured”：“Alur，R.，Henzinger，T.A.：真正的时间逻辑。摘自：美国北卡罗来纳州三角研究公园第30届计算机科学基础年会，1989年10月30日\u20131月，第164\u2013169页。IEEE计算机学会（1989）。https:\/\/doi.org\/10.109\/SFCS.1989.63473“，”doi“：”10.1109\/SFCS.1989.6347“}，{“key”：“12_CR3”，“doi-asserted-by”：“publisher”，“unstructured”：“Chaochen，Z.，Hansen，M.R.：持续时间计算——实时系统的正式方法。理论计算机科学专著。EATCS系列，Springer（2004）https:\/\/doi.org\/10.1007\/978-3-662-06784-0“，”doi“：”10.1007\/9783-662-06784-0“}，{“key”：“12_CR4”，“doi-asserted-by”：“publisher”，“unstructured”：“Chaochen，Z.，Hoare，C.，Ravn，A.P.：持续时间演算。Inf.Process。Lett.40（5），269\u2013276（1991）。https:\//doi.org\/10.1016\/0020-0190（第91页）90122-X，https:\/\/www.sciencedirect.com/science\/article\/pii\/00201909190122X“，“DOI”：“10.1016\/0020-0190（91）90122-X”}，{“key”：“12_CR5”，“DOI-asserted-by”：“publisher”，“unstructured”：“Donz\u00e9，A.，Maler，O.：实值信号对时间逻辑的稳健满足。In:Chatterjee，K.，Henzinger，T.A.（eds.）时间系统的形式化建模与分析——第八届国际会议，FORMATS 2010，奥地利克洛斯特内堡，201310年9月8日。诉讼程序。计算机科学课堂讲稿，第6246卷，第92\u2013106页。施普林格（2010）。https:\//doi.org\/10.1007\/978-3642-15297-9_9“，”doi“：”10.1007\/9783-642-15277-9_9 by“：”publisher“，”第一页“：”121“，”DOI“：”10.1007\/s00165-004-0032-y“，”volume“：”16“，”author“：”M Fr\u00e4nzle“，”year“：”2004“，”unstructured“：”Fr\u00e4mnzle，M：模型检验密集时距演算。形式方面计算。16（2），121\u2013139（2004）。https:\/\/doi.org\/10.1007\/s00165-004-0032-y“，”journal-title“：”形式方面计算。“}，{”key“：”12_CR8“，”doi-asserted-by“：”publisher“，”unstructured“：”Maler，O.，Nickovic，D.：监测连续信号的时间特性。In:Lakhnech，Y.，Yovine，S.（eds.）形式技术，时间和容错系统的建模和分析，时间系统的形式建模和分析联合国际会议，FORMATS 2004和实时和容错系统中的形式技术，FTRTFT 2004，法国格勒诺布尔，22\u201324，2004年9月24日，会议录。计算机科学课堂讲稿，第3253卷，第152\u2013166页。斯普林格（2004）。https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12“，”doi“：”10.1007\/978-23-540-302026-3_12“}，{“问题”：“7”，“密钥”：“12_CR9”，“首页”：“753”，“卷”：“43”，“作者”：“D标记”，“年份”：“1996”，“非结构化”：“标记，D：模型理论和指数。非。AMS 43（7），753\u2013759（1996）”，“日志标题”：“非.AMS“}，{“问题”：“2”，“密钥”：“12_CR10”，“doi断言：“publisher”，“first page”：“617”，“doi”：“10.1109\/T-AIE.19285055024”，“volume”：“47”，“author”：“H Nyquist”，“year”：“1928”，“nonstructured”：“Nyquist，H.：电报传输理论中的某些主题。事务处理。美国电气学会。工程47（2），617\u2013644（1928）“，“日记标题”：“翻译。美国仪器电气公司。Eng.“}，{”key“：”12_CR11“，”unstructured“：”Orfanidis，S.J.：《信号处理导论》，新泽西州上鞍河Prentice Hall学院部，07458（1995）“}”，{“key”：“12_CR12”，“doi-asserted-by”：“crossref”，“unstructure”：“Shannon，C.E.：噪声中的通信。in:Proceeding IRE，vol.37，no.（1）（1949）”，“doi”：“10.1109 \/JRPROC.1949.232969“}，{“key”：“12_CR13”，“unstructured”：“Wilke，T.：Automaten und Logiken zur Beschreibung zeitabh\u00e4ngiger Systeme.博士论文，基尔大学，德国（1994）。https:\/\/D-nb.info\/942315308”}，}“key:”12_CR14“，”doi-asserted-by“：”publisher“，”unstructure“：”Wilke，T.：在强大的可判定逻辑和时间自动机中指定时间状态序列。摘自：Langmack，H.，de Roever，W.P.，Vytopil，J.（eds.）《实时和容错系统中的形式化技术》，与Provable Correct Systems工作组联合举办的第三届国际研讨会，ProCoS，L\u00fcbeck，德国，2013年9月19日23日，会议记录。计算机科学课堂讲稿，第863卷，第694\u2013715页。斯普林格（1994）。https:\/\/doi.org\/10.1007\/3-540-58468-4_191“，”doi“：”10.1007\/3-540.58468-4_191“}]，”container-title“：[“计算机科学课堂讲稿”，“从过程代数经由时间自动机到模型学习的旅程”]，“original-title”：[]，“link”：[{“URL”：“https:\//link.springer.com/content\/pdf\/10007\/978-3-031-15629-8_12”，“content-type”：“未指定”“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,9,24]]，”date-time“：”2022-09-24T16:30:28Z“，”timestamp“：1664037028000}，”score“：1，”resource“：{primary”：{“URL”：“https:\/\/link.springer.com\/10007\/978-3-031-15629-8_12”}}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“日期-部分”：[[2022]]}，“ISBN”：[“9783031156281“，”978303156298“]，”references-count“：14，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-031-15629-8_12“，”relation“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}，{“value”：“1611-3399”，“type”：“electronic”}]，“subject”：[]，“发布了“：{“date-parts”：[[2022]]}，“assertion”：[{“value”：“2022年9月7日”，“order“：1，”name“：”first_online“，”label“：”first online“，“group”：{“name”：“ChapterHistory”，“label”：“章节历史”}}]}}