Somenzi, Fabio.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Abstraction Refinement for Large Scale Model Checking /
by:
Hachtel, Gary D..; Somenzi, Fabio.; Wang, Chao.
(Electronic resources)
Logic synthesis and verification algorithms /
by:
Hachtel, Gary D.; Somenzi, Fabio.
(Language materials, printed)
Logic synthesis and verification algorithms
by:
Hachtel, Gary D.; Somenzi, Fabio.; SpringerLink (Online service)
(Electronic resources)
Computer aided verification
by:
(1998 :); Hunt, Jr, Warren A.; Somenzi, Fabio.; SpringerLink (Online service)
(Electronic resources)