阿尔伯特·本文尼斯特;蒂莫西·布鲁克;贝诺特·凯劳德;布鲁诺·帕加诺;马克·普泽特 混合系统建模器中因果循环的基于类型的分析。 (英语) Zbl 1373.93112号 非线性分析。,混合系统。 26, 168-189 (2017).MSC公司:93B40码 68甲15 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Benveniste}等人,非线性分析。,混合系统。26、168--189(2017年;Zbl 1373.93112) 全文: 内政部 哈尔
阿尔伯特·本文尼斯特;蒂莫西·布鲁克;贝诺·凯劳德;马克·普泽特 混合系统建模器的非标准语义。 (英语) Zbl 1244.68050号 J.计算。系统。科学。 78,第3期,877-910(2012).MSC公司:68问题55 68号30 PDF格式BibTeX公司 XML格式引用 \文本{A.Benveniste}等人,J.Comput。系统。科学。78,第3号,877--910(2012;Zbl 1244.68050) 全文: 内政部