@BOOK{ Book!D - 103414503,
AUTHOR = "/ by Rolf Drechsler ... [et al.]",
TITLE = "Test pattern generation using Boolean proof engines",
LIBRARY= "كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران",
SUBJECT = "Integrated circuits--Verification,Computer software--Verification,Computer algorithms.,Algebra, Boolean.",
URL = "/book/103414503/Test-pattern-generation-using-Boolean-proof-engine/"}