凯·兰普卡 一种新的分区符号可达性分析算法。 （英文） Zbl 1337.68167号 Halava，Vesa（编辑）等人，计算模型可达性问题第二次研讨会论文集（RP 2008），英国利物浦，2008年9月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记223137-151（2008）。MSC公司：60年第68季度 68第05页 68兰特 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{K.Lampka}，电子。注释Theor。计算。科学。223137--151（2008年；Zbl 1337.68167） 全文： 内政部
Randal E.布莱恩特。 机房视图：符号模型检查的计算支持。 （英文） Zbl 1142.68430号 Grumberg，Orna（编辑）等人，25年的模型检查。历史、成就、观点。柏林：施普林格出版社（ISBN 978-3-540-69849-4/pbk）。计算机科学课堂讲稿5000，145-149（2008）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Bryant}，莱克特。注释计算。科学。5000、145-149（2008年；Zbl 1142.68430） 全文： 内政部 链接
贝特·博利格 关于整数乘法最重要位的OBDD复杂性。（扩展摘要）。 （英文） 兹比尔1139.68342 Agrawal，Manindra（编辑）等人，《计算模型的理论和应用》。2008年4月25日至29日，第五届国际会议，TAMC 2008，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79227-7/pbk）。计算机科学课堂讲稿4978，306-317（2008）。MSC公司：65年第68季度 2016年11月 68第05页 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}，莱克特。注释计算。科学。4978、306——317（2008年；兹bl 1139.68342） 全文： 内政部
简·克拉契克 基于有序二元决策图的约束传播证明系统的指数下界。 （英文） Zbl 1141.03028号 J.塞姆。日志。 73，第1期，227-237（2008）. 审核人：埃米尔·杰亚贝克（普拉哈） MSC公司：20层03 PDF格式BibTeX公司 XML格式引用 \textit{J.Krajíck}，J.Symb。日志。73，编号1，227--237（2008；Zbl 1141.03028） 全文： 内政部 欧几里得 链接
尼古拉斯·佩尔蒂埃 扩展分辨率模拟二进制决策图。 （英文） Zbl 1142.68064号 离散应用程序。数学。 156，第6号，825-837（2008）.MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{N.Peltier}，离散应用程序。数学。156，第6号，825--837（2008；Zbl 1142.68064） 全文： 内政部
贝特·博利格;Niko系列;英戈·韦格纳 一些基本函数的精确OBDD边界。（扩展摘要）。 （英文） Zbl 1132.68347号 Geffert，Viliam（编辑）等人，SOFSEM 2008：计算机科学的理论与实践。第34届计算机科学理论与实践当前趋势会议，2008年1月19日至25日，斯洛伐克，11月斯莫科维奇。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77565-2/pbk）。《计算机科学讲义》4910174-185（2008）。MSC公司：68第05页 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，Lect。注释计算。科学。4910174-185（2008年；Zbl 1132.68347） 全文： 内政部
庆蒂里尼、拉斐拉;卡拉广场;阿尔贝托，Policriti 符号图：连接相关问题的线性解决方案。 （英文） Zbl 1203.68039号 算法 50，第1期，120-158（2008）.MSC公司：68第05页 PDF格式BibTeX公司 XML格式引用 \textit{R.Gentilini}等人，Algorithmica 50，No.1，120--158（2008；Zbl 1203.68039） 全文： 内政部