谢丁宝;卜、雷;赵建华;李宣东 线性混合自动机的SAT-LP-IIS联合定向路径有界可达性分析。 （英语） Zbl 1317.68126号 形式方法系统。设计。 45，第1期，42-62（2014）.MSC公司：第68季度第60季度 65年第68季度 90C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit{D.Xie}等人，《形式方法系统》。设计。45，第1号，42--62（2014；Zbl 1317.68126） 全文： 内政部
李宣东;苏米特·贾·安纳德;卜、雷 使用线性规划，为线性混合系统的有界可达性分析提供一种有效的面向路径的工具。 （英语） Zbl 1277.68139号 Strichman，Ofer（编辑）等人，《第四届有界模型检验国际研讨会论文集》（BMC 2006），西雅图，华盛顿州，美国，2006年8月15日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第3期，57-70（2007）。MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}等人，《电子》。注释Theor。计算。科学。174，第3号，57--70（2007；Zbl 1277.68139） 全文： 内政部