Daniel Tille

title	ISBN-13 (ISBN-10)	year of publica- tion	other author(s)
Test Pattern Generation using Boolean Proof Engines	978-9O-481-2359-9 (9O-481-2359-3)	2009	Rolf Drechsler · Stephan Eggersglüß · Görschwin Fey