SAT-based scalable formal verification solutions [electronic resource] / Malay Ganai, Aarti Gupta.

Saved in:

Bibliographic Details
Online Access:	Full Text (via Springer)
Main Author:	Ganai, Malay
Other Authors:	Gupta, Aarti, Dr
Format:	Electronic eBook
Language:	English
Published:	New York : Springer Science+Business Media, ©2007.
Series:	Series on integrated circuits and systems.
Subjects:	Integrated circuits > Verification.

Internet

Full Text (via Springer)

Holdings details from Online
Call Number:	TK7874.58 .G36 2007eb
TK7874.58 .G36 2007eb	Available