Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
0
0
Author Description
null
Page Count:
186
Publication Date:
2006-01-01
ISBN-10:
0387341552
ISBN-13:
9780387341552
Community Tags
Reader Comments
Share Your Thoughts
No comments yet. Be the first to share your thoughts!