{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,15]]，“日期时间”：“2024-01-15T16:50:41Z”，“时间戳”：1705337441499}，“出版商位置”：“柏林，海德堡”，“参考计数”：8，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540643562”，“类型”：“打印”}，{“值”：“9783540697534”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1998]]}，”DOI“：”10.1007\/bfb0054178“，”type“：”book-capter“，”created“：”{“date-part”：[2006,7,27]]，“date-time”：“2006-07-27T05:43:43Z”，“时间戳”：1153979023000}，“页面”：“281-297”，“源”：“Crossref”，“is-referenced-by-count”：31，“title”：[“齿轮控制器的形式设计和分析”]，“prefix”：“10.1007”，”author“：[{“given”：“Magnus”，“family”：“Lindahl”，《sequence》：“first”，“affiliation”：[]}，{“给定”：“Paul”，“从属关系”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2006,5,25]]}，“reference”：[{“issue”：“2”，“key”：“19_CR1”，“doi-asserted-by”：“publisher”，”first page“：”183“，”doi“：”10.1016\/0304-3975。小茴香。实时系统建模自动机。理论计算机科学，126（2）：183\u20132361994年4月。“，“journal-title”：“理论计算机科学”}，{“key”：“19_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“Johan Bengtsson，David Griffeen，K\u00e5re Kristoffersen，Kim G。拉森、普雷德里克·拉尔森、保罗·佩特森和王毅。使用Uppaal验证总线冲突的音频协议。Rajeev Alur和Thomas A.Henzinger，编辑，Proc。第八届国际计算机辅助验证大会，计算机科学讲义第1102页，第244\u2013256页。Springer-Verlag，1996年7月。“，“DOI”：“10.1007\/3-540-61474-5_73”}，{“key”：“19_CR3”，“DOI-asserted-by”：“crossref”，“unstructured”：“Johan Bengtsson，Kim G.Larsen，Predrik Larsson，Paul Pettersson，and Wang Yi.Uppaal，1995年。程序中。第二届系统构建与分析工具与算法研讨会，计算机科学课堂讲稿第1055页，第431\u2013434页。Springer-Verlag，Mars 1996.“，“DOI”：“10.1007\/3-540-61042-1_66”}，{“key”：“19_CR4”，“DOI-asserted-by”：“crossref”，“unstructured”：“C.Daws，A.Olivero，S.Tripakis，and S.Yovine。工具Kronos。In Rajeev Alur，Thomas A.Henzinger，and Eduardo D。Sontag，编辑，Proc。混合系统III验证与控制研讨会，计算机科学课堂讲稿，第208\u2013219页。Springer-Verlag，1995年10月。“，”DOI“：”10.1007\/BFb0020947“}，{“key”：“19_CR5”，“unstructured”：“Thomas A.Henzinger，Pei-Hsin Ho，and Howard Wong-Toi.HyTech:The Next Generation。第16届IEEE实时系统研讨会，第56\u201365页，1995年12月。”}，“key“：”19_CR6“，”DOI-asserted-by“：”crossref“，”unstructure“：”H.E.Jensen，K.G。Larsen和A.Skou。使用SPIN和Uppaal对冲突避免协议进行建模和分析。程序中。第二届SPIN验证系统国际研讨会，第1_201320页，1996年8月crossref“，”unstructured“：”托马斯·斯塔纳（Thomas Stauner）、奥拉夫·米勒（Olaf Mller）和马克斯·福克斯（Max Fuchs）。使用hytech验证汽车控制系统。程序中。混合和实时系统，格勒诺布尔，201328年3月26日，1997年。科技大学\u00e4t M\u00fcnchen，《计算机科学讲义》，Springer，1997年内容类型“：”未指定“，”内容版本“：”vor“，”预期应用程序“：”相似性检查“｝]，”存放“：｛”日期部分“：[[2019,4,20]，”日期时间“：”2019-04-20T08:27:21Z“，”时间戳“：1555748841000｝，”分数“：1，”资源“：｛”主“：｛”URL“：”http:\/\/link.springer.com\/10.1007\/BFBb0054178“｝｝，”副标题“：[]，”短标题“：[]，”已发布“：｛”date-parts“：[[1998]]}，”ISBN“：[”9783540643562“，”978354697534“]，”references-count“：8，”URL“：”http://\/dx.doi.org\/10.1007\/bfb0054178“，”relation“：{}，“ISSN”：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”键入“：”电子“}]，“主题”：[]，“发布”：{“日期部分”：[[1998]]}}