Abstraction Refinement for Large Scale Model Checking

Format:: e-book
Title:: Abstraction Refinement for Large Scale Model Checking
Author:: Wang, Chao; Hachtel, Gary D.; Somenzi, Fabio
Language:: English
Publisher:: Springer US 2006
ISBN:: 0-387-34155-2
1-4899-9395-9
9786610619337
1-280-61933-3
0-387-34600-7
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000283266?locale=en