Advanced formal verification - Drechsler, Rolf. (Boston : Kluwer Academic Publishers, 2004)
Περιέχει βιβλιογραφία και ευρετήριο
Keywords: Electronic circuits -- Testing; Decision trees