克莱恩,J.J.T。;Reniers,医学硕士。;罗达,J.E。 工业系统分析。 (英语) Zbl 1021.68061号 形式方法系统。设计。 22,第3249-282号(2003年).MSC公司:68问题85 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.J.T.Kleijn}等人,《形式方法系统》。设计。22,第3号,249--282(2003;Zbl 1021.68061) 全文: 内政部
杨,W.L。;美国施耐德。 使用CSP设计和验证分布式恢复块。 (英语) Zbl 1020.68055号 形式方法系统。设计。 22,第3期,225-248(2003).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{W.L.Yeung}和\textit{S.A.Schneider},《形式方法系统》。设计。22,第3号,225--248(2003;Zbl 1020.68055) 全文: 内政部
阿努吉·戈尔;库拉姆·萨吉德;周,海;阿德南·阿齐兹;Vigyan Singhal公司 基于BDD的程序,用于具有未知函数的等式理论。 (英语) Zbl 1021.68057号 形式方法系统。设计。 22,第3期,205-224(2003).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Goel}等人,《形式方法系统》。设计。22,第3号,205--224(2003;Zbl 1021.68057) 全文: 内政部
西尔弗,S.J。;Brzozowski,J.A。 异步电路行为模型中的真正并发性。 (英语) 兹比尔1020.68017 形式方法系统。设计。 22,第3期,183-203(2003).MSC公司:68M99型 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.J.Silver}和\textit{J.A.Brzozowski},形式方法系统。设计。22,第3号,183--203(2003;Zbl 1020.68017) 全文: 内政部