Showing 1 - 2 results of 2 for search 'Somenzi, Fabio', query time: 0.02s Refine Results
  1. 1
    Logic synthesis and verification algorithms /

    Logic synthesis and verification algorithms / by 427444 Hachtel, Gary D., Somenzi, Fabio

    Published 2006
  2. 2
    Abstraction refinement for large scale model checking /

    Abstraction refinement for large scale model checking / by 405051 Wang, Chao, Hachtel, Gary D., Somenzi, Fabio

    Published 2006

Search Tools: