恩斯特·莫里茨·哈恩;阿恩·哈特曼斯;霍尔格·赫尔曼斯;Joost-Pieter卡托恩 随机混合系统的组成建模和分析框架。 (英语) Zbl 1291.68293号 形式方法系统。设计。 43,第2期,191-232(2013).MSC公司:87年第68季度 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Hahn}等人,《形式方法系统》。设计。43,编号2191-232(2013;兹bl 1291.68293) 全文: 内政部
Hiraishi、Kunihiko;Koich小林 实状态空间上转移系统盒抽象的近似算法。 (英语) Zbl 1291.68261号 形式方法系统。设计。 42,第2期,175-192(2013).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Hiraishi}和\textit{K.Kobayashi},《形式方法系统》。设计。42,第2号,175--192(2013;Zbl 1291.68261) 全文: 内政部