Results
SAT-Based Scalable Formal Verification Solutions
© 2007
Hard cover - Print (ISBN: 978-0-387-69166-4)
Electronic (ISBN: 978-0-387-69167-1)
Soft cover - Print (ISBN: 978-1-4419-4341-5)
View this book on
SpringerLink
Download Product Archive File - 978-0-387-69167-1