Abstraction Refinement for Large Scale Model Checking
Publisher: Springer
Published: Dec 06, 2014
Format: paperback
Number of pages: 193
ISBN-13: 9781489993953
Notes: Source title: Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)