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