凯·兰普卡;马库斯·西格尔;乔恩·奥斯索夫斯基;拜尔,克里斯特尔 部分共享零抑制多终端BDD:概念、算法和应用。 (英语) Zbl 1214.68219号 形式方法系统。设计。 36,第3期,198-222(2010).MSC公司:60年第68季度 68周05 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Lampka}等人,《形式方法系统》。设计。36,第3号,198--222(2010;Zbl 1214.68219) 全文: 内政部 链接
克吕佩尔霍尔茨,萨沙;拜尔,克里斯特尔 基于通道的元件连接器的符号模型检查。 (英语) Zbl 1167.68035号 科学。计算。程序。 74,第9号,688-701(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Klüppelholz}和\textit{C.Baier},科学。计算。程序。74,第9号,688--701(2009;Zbl 1167.68035) 全文: 内政部