凯·兰普卡;马库斯·西格尔;乔恩·奥斯索夫斯基;克里斯特尔·拜尔 部分共享零抑制多终端BDD:概念、算法和应用。 (英语) Zbl 1214.68219号 形式方法系统。设计。 第36期,第3期,198-222页(2010年).MSC公司:第68季度第60季度 68周05 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{K.Lampka}等人,《形式方法系统》。设计。36,第3号,198--222(2010;Zbl 1214.68219) 全文: 内政部 链接
凯·兰普卡 一种新的分区符号可达性分析算法。 (英语) Zbl 1337.68167号 Halava,Vesa(编辑)等人,计算模型可达性问题第二次研讨会论文集(RP 2008),英国利物浦,2008年9月15日至17日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记223137-151(2008)。MSC公司:第68季度第60季度 68第05页 68兰特 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{K.Lampka},电子。注释Theor。计算。科学。223137--151(2008年;Zbl 1337.68167) 全文: 内政部
霍尔格·赫尔曼斯;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;马库斯·西格尔 关于使用MTBDD进行随机系统的性能分析和验证。 (英语) Zbl 1054.68018号 J.日志。代数。程序。 56,第1-2期,23-67(2003).MSC公司:68平方米 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{H.Hermanns}等人,J.Log。代数。程序。56,编号1--2,23-67(2003;Zbl 1054.68018) 全文: 内政部