安德烈·普拉泽 混合系统的逻辑分析:复杂性挑战的完整答案。 (英语) Zbl 1322.68133号 J.汽车。语言梳。 17,编号2-4,265-275(2012).MSC公司:60年第68季度 03B70号 34A38型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},J.Autom。语言梳。17,编号2-4-265-275(2012年;兹bl 1322.68133) 全文: 内政部
拉诺特、拉格罗 具有实变量、整数变量和数组的混合系统的表达能力。 (英语) Zbl 1145.68462号 J.汽车。语言梳。 12,第3号,373-405(2007).MSC公司:65年第68季度 03C98号 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte},J.Autom(雷诺特)。语言梳。12,第3号,373--405(2007;Zbl 1145.68462) 全文: 内政部