谢丁宝;卜、雷;赵建华;李宣东 线性混合自动机的SAT-LP-IIS联合定向路径有界可达性分析。 (英语) Zbl 1317.68126号 形式方法系统。设计。 45,第1期,42-62(2014).MSC公司:60年第68季度 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公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}等人,《电子》。注释Theor。计算。科学。174,第3号,57--70(2007;Zbl 1277.68139) 全文: 内政部