by David L. Dill
Paperback
ISBN: 978-0-262-54157-2
ISBN-10: 0-262-54157-2
The MIT Press · 2003
|
|
by David L. DillPaperback
ISBN: 978-0-262-54157-2 ISBN-10: 0-262-54157-2 The MIT Press · 2003 |
| See also: | ||
| 1989 | Hardcover | Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits (ACM Distinguished Dissertation) |