TY  - BOOK
AU  - Ghosh,  Abhijit
AU  -  Devadas,  Srinivas
AU  -  Newton,  A. Richard
TI  - Sequential logic testing and verification.
U1  - 621.395 G341S 
ER  -