Search

You searched for: Auteur Hachtel, Gary D. Remove constraint Auteur: Hachtel, Gary D.
1 entry found
Number of results to display per page

Search Results

1. Abstraction Refinement for Large Scale Model Checking
thumbnail
Full text!
Author:
Wang, Chao; Hachtel, Gary D.; Somenzi, Fabio
Publisher:
Springer US 2006
Format:
e-book