亚历克谢·利沃夫;Lastras-Montaño,Luis A。;巴里·特拉格;维雷什·帕鲁西;罗伯特·沙多文;阿里·埃尔·泽因 基于计算代数几何的形式推理验证基于Galois域的电路。 (英语) Zbl 1303.94146号 形式方法系统。设计。 45,第2期,189-212(2014).MSC公司:94C05(二氧化碳) 94B35码 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{A.Lvov}等人,《形式方法系统》。设计。45,第2号,189--212(2014;Zbl 1303.94146) 全文: 内政部
桑卡拉纳拉亚南,斯里拉姆;Henny B.西普玛。;佐哈尔·曼纳 构造混合系统的不变量。 (英语) Zbl 1133.68365号 形式方法系统。设计。 32,第1号,25-55(2008).MSC公司:65年第68季度 13页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Sankaranarayanan}等人,《形式方法系统》。设计。32,编号1,25-55(2008;Zbl 1133.68365) 全文: 内政部