祖克,莱诺;阿米尔·普努利;本杰明·戈德伯格;克拉克·巴雷特;方,易;胡,英 循环转换的转换和运行时验证。 (英语) Zbl 1083.68555号 形式方法系统。设计。 27,第3期,335-360(2005).MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Zuck}等人,《形式方法系统》。设计。27,第3号,335--360(2005;Zbl 1083.68555) 全文: 内政部
霍华德·C·埃尔曼。;Golub,基因H。 循环约化非自伴线性系统的迭代方法。 (英语) Zbl 0699.65021号 数学。计算。 54,编号190,671-700(1990). 审核人:U.Langer公司 MSC公司:65层10 65N22型 PDF格式BibTeX公司 XML格式引用 \textit{H.C.Elman}和\textit{G.H.Golub},数学。计算。54,编号190,671--700(1990;Zbl 0699.65021) 全文: 内政部