王淑玲;詹乃军;张丽君 随机混合系统的组合建模和验证框架。 (英语) Zbl 1370.68220号 正式Asp。计算。 29,第4期,751-775(2017).MSC公司:68问题85 60年第68季度 第68季度87 93立方 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{S.Wang}等人,正式Asp。计算。29,第4号,751--775(2017;Zbl 1370.68220) 全文: 内政部
罗布·阿尔森;乌苏拉·马丁;保罗·奥利瓦 线性系统的霍尔逻辑。 (英语) Zbl 1298.68163号 正式Asp。计算。 25,第3期,345-363(2013).MSC公司:60年第68季度 93C05型 PDF格式BibTeX公司 XML格式引用 \textit{R.Arthan}等人,正式Asp。计算。25,第3号,345--363(2013;Zbl 1298.68163) 全文: 内政部