Abstraction Refinement for Large Scale Model Checking [electronic resource] / by Chao Wang, Gary D. Hachtel, Fabio Somenzi.
By: Wang, Chao.
Contributor(s): Hachtel, Gary D | Somenzi, Fabio | SpringerLink (Online service).
Material type:![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
No physical items for this record
There are no comments for this item.