谢丁宝;卜、雷;赵建华;李宣东 线性混合自动机的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 1086.68076号 正式Asp。计算。 16,第2期,155-163(2004).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}等人,正式Asp。计算。16,第2号,155--163(2004;Zbl 1086.68076) 全文: 内政部
李宣东;赵建华;裴瑜;李勇;郑涛;郑国良 正环闭自动机:一类可判定的混合系统。 (英语) Zbl 1008.68070号 J.日志。代数。程序。 52-53,79-108(2002年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}等人,J.Log。代数。程序。52-53,79-108(2002年;兹bl 1008.68070) 全文: 内政部