波胡斯拉夫·科埃纳;托马斯·沃伊纳尔 自动化形式分析和验证:概述。 (英语) Zbl 1286.68318号 国际通用系统杂志。 42,第4期,335-365(2013).MSC公司:60年第68季度 68吨15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Křena}和\textit{T.Vojnar},《国际遗传学》。42,第4号,335--365(2013年;兹bl 1286.68318) 全文: DOI程序
肯特·帕尔默。 软件工程设计方法和一般系统理论。 (英语) Zbl 0850.93525号 国际通用系统杂志。 24,第1-2号,第43-94页(1996年).MSC公司:93C83号 93A10号 PDF格式BibTeX公司 XML格式引用 \textit{K.D.Palmer},《国际遗传学》。24,编号1--2,43-94(1996;Zbl 0850.93525) 全文: DOI程序
拉迪斯拉夫·科胡特。;布莱恩·盖恩斯(Brian R.Gaines)。 保护是一个普遍的系统问题。 (英语) Zbl 0325.93002号 国际通用系统。 3, 3-23 (1976).MSC公司:93A10号 68号01 92B05型 PDF格式BibTeX公司 XML格式引用 \textit{L.J.Kohout}和\textit{B.R.Gaines},《国际遗传学系统》。3、3--23(1976年;Zbl 0325.93002) 全文: DOI程序