Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
by Chao Wang
2006186 pages
Springer·1 editions
Loading Description
Tags
NewBookshelves
0 readersNo users with this book on their shelves. Maybe you could be the first.
Threads
0 discussionsQuotes
0 quotesReviews
0 reviewsNo reviews yet. Add your review.
Lists
0 listsNo lists containing this book.
Purchasable Editions
1 editionsThe Amazon links are affiliate links
Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems) (2006)
Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems) (2006)
Springer
Springer
ISBN 10: 0387341552
ISBN 13: 9780387341552