张敬之;王国辉;史志平;关勇;李永东 HOL Light中功能变化的形式化。 (英语) Zbl 1423.68427号 J.日志。阿尔盖布。方法计划。 106, 29-38 (2019).MSC公司:68吨15 49公里27 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}等人,J.Log。阿尔盖布。方法计划。106、29-38(2019年;Zbl 1423.68427) 全文: 内政部
Rodríguez,Margarita M.L。;何塞·文森特·佩雷斯 关于包含严格不等式的有限线性系统。 (英语) Zbl 1373.15029号 J.优化。理论应用。 173,第1期,131-154(2017). 审核人:安德烈亚斯·阿瓦尼托耶奥戈斯(帕特拉斯) MSC公司:15A39型 49甲15 52B99号 15A06号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.L.罗德里格斯}和\textit{J.Vicente-Pérez},J.Optim。理论应用。173,编号1,131--154(2017;Zbl 1373.15029) 全文: 内政部 链接
丁杰瑞;玛丽亚姆·坎加普尔;肖恩·萨默斯;亚历山德罗·阿巴特;约翰·莱杰罗斯;克莱尔·汤姆林 离散时间随机混合系统验证和控制的随机博弈框架。 (英语) Zbl 1364.93857号 Automatica公司 49,第9期,2665-2674(2013).MSC公司:93E20型 93E03型 91A15型 93C55美元 93个B03 49公里45 PDF格式BibTeX公司 XML格式引用 \textit{J.Ding}等人,Automatica 49,No.9,2665--2674(2013;Zbl 1364.93857) 全文: 内政部