托马斯·马丁·高利察;赫尔穆特·塞德尔 通过凸松弛和最大策略迭代实现数值不变量。 (英语) Zbl 1291.68256号 表格方法系统。设计。 44,第2期,101-148(2014).MSC公司:60年第68季度 90C25型 47甲10 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Gawlitza}和\textit{H.Seidl},《形式方法系统》。设计。44,No.2,101--148(2014;Zbl 1291.68256) 全文: 内政部 arXiv公司
安德烈·普拉泽;埃德蒙·克拉克。 计算混合系统的微分不变量作为不动点。 (英语) Zbl 1180.93024号 表格方法系统。设计。 35,第1期,98-120(2009).MSC公司:93B11号机组 47N10号 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer}和\textit{E.M.Clarke},《形式方法系统》。设计。35,第1号,98-120(2009年;Zbl 1180.93024) 全文: 内政部