Abstraction Refinement for Large Scale Model Checking

Full text!
Type:
e-book
Titel:
Abstraction Refinement for Large Scale Model Checking
Auteur:
Wang, Chao; Hachtel, Gary D.; Somenzi, Fabio
Taal:
Engels
Uitgever:
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