Practical Design Verification
No Thumbnail Available
Files
Date
2009
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
in the United States of America by Cambridge University Press, New York
Abstract
Description
Keywords
Model checking and equivalence checking