TY  - BOOK
A1  - / Stephan EggersgleuC, Rolf Drechsler
TI  - High quality test pattern generation and boolean satisfiability
PB  - کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند
SN  - 93594863
UR  /book/93594863/High-quality-test-pattern-generation-and-boolean-s/
ER  -