Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
Publisher: Springer
Published: July 20, 2006
Language: eng
Number of pages: 186
ISBN-13: 9780387341552