TY  - BOOK
AU  - PALNITKAR
TI  - DESIGN VERIFICATION WITH E
SN  - 81-297-0537-0
U1  - 621.392 PAL 
PY  - 2004///
PB  - PEARSON
ER  -