Skip to:Content
|
Bottom
Cover image for Abstraction refinement for large scale model checking
Title:
Abstraction refinement for large scale model checking
Personal Author:
Wang, Chao
Publication Information:
New York, NY : Springer, 2006
ISBN:
9780387341552
Subject Term:
Computer systems -- Verification -- Mathematical models

Integrated circuits -- Verification -- Mathematical models

Electronic systems -- Verification -- Mathematical models
Added Author:
Hachtel, Gary D.

Somenzi, Fabio

Available:*

Library
Item Barcode
Call Number
Material Type
Item Category 1
Status
Searching...
 30000010129646 QA76.76.V47 W36 2006 Open Access Book Book
Searching...

On Order

Go to:Top of Page