@BOOK{ Book!D - 93594863,
AUTHOR = "/ Stephan EggersgleuC, Rolf Drechsler",
TITLE = "High quality test pattern generation and boolean satisfiability",
LIBRARY= "کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند",
SUBJECT = "Integrated circuits--Testing,Algebra, Boolean",
URL = "/book/93594863/High-quality-test-pattern-generation-and-boolean-s/"}