Results

Book cover

Abstraction Refinement for Large Scale Model Checking

© 2006

Hard cover - Print (ISBN: 978-0-387-34155-2)

Electronic (ISBN: 978-0-387-34600-7)

Soft cover - Print (ISBN: 978-1-4899-9395-3)

View this book on SpringerLink

Download Product Archive File - 978-0-387-34600-7 Download product archive files for 978-0-387-34600-7