德雷克斯勒，R。;Eggersglüß，S。;费伊，G。;蒂尔，D。 使用布尔证明引擎生成测试模式。 （英文） Zbl 1189.68029号 多德雷赫特：施普林格（ISBN 978-90-481-2359-9/hbk；978-90-4081-2360-5/电子书）。xii，192页。(2009).MSC公司：68M99型 68-02 68单位07 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Drechsler}等人，使用布尔证明引擎生成测试模式。多德雷赫特：施普林格（2009；Zbl 1189.68029） 全文： 内政部
罗尔夫·德雷克斯勒;格什温·菲 自动生成测试模式。 （英文） Zbl 1182.68019号 Bernardo，Marco（编辑）等人，硬件验证的形式化方法。2006年5月22日至27日，第六届计算机、通信和软件系统设计正式方法国际学校，2006年SFM，意大利贝尔蒂诺罗。高级讲座。柏林：施普林格出版社（ISBN 3-540-34304-0/pbk）。计算机科学课堂讲稿3965，30-55（2006）。MSC公司：68米15 94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Drechsler}和\textit{G.Fey}，莱克特。注释计算。科学。3965，30-55（2006；Zbl 1182.68019） 全文： 内政部