Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

Category: E-Book | Comment: 0


Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)
Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems) by Chao Wang
English | 2006-07-20 | ISBN-10: 0387341552 | 200 Pages

Download Now
 

Model Checking Software

Category: E-Book | Comment: 0


Model Checking Software

Bernd Fischer, Jaco Geldenhuys, "Model Checking Software"
2015 | pages: 322 | ISBN: 331923403X | PDF | 11,4 mb

Download Now