An edition of Abstraction Refinement for Large Scale Model Checking (2006)

Abstraction Refinement for Large Scale Model Checking

by Chao Wang, Gary D. Hachtel, and Fabio Somenzi

Locate

My Reading Lists:

Use this Work

Create a new list

When did you finish this book? 2025 Today Other

Check nearby libraries

Buy this book

Last edited by ImportBot

December 29, 2021 | History

Edit

An edition of Abstraction Refinement for Large Scale Model Checking (2006)

Abstraction Refinement for Large Scale Model Checking

by Chao Wang, Gary D. Hachtel, and Fabio Somenzi

This edition doesn't have a description yet. Can you add one?

Publish Date

Dec 06, 2014

Publisher

Springer

Pages

193

Check nearby libraries

Buy this book

Edition	Availability
1 Abstraction Refinement for Large Scale Model Checking Dec 06, 2014, Springer paperback 1489993959 9781489993953	aaaa Locate
2 Abstraction Refinement for Large Scale Model Checking 2006, Springer London, Limited in English 0387346007 9780387346007	zzzz Locate

Add another edition?

Book Details

Edition Notes

Source title: Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

Classifications

Library of Congress: TA1-2040

The Physical Object

Format: paperback
Number of pages: 193

Edition Identifiers

Open Library: OL28001031M
ISBN 10: 1489993959
ISBN 13: 9781489993953

Work Identifiers

Work ID: OL20707824W

Source records

amazon.com record
Better World Books record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Created May 5, 2020
2 revisions

Download catalog record: RDF / JSON / OPDS | Wikipedia citation

December 29, 2021	Edited by ImportBot	import existing book
May 5, 2020	Created by ImportBot	Imported from amazon.com record

Abstraction Refinement for Large Scale Model Checking

by Chao Wang, Gary D. Hachtel, and Fabio Somenzi