| title | media type | ISBN-13 | year of publication | |
|---|---|---|---|---|
| Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings | Paperback | 978-3-662-19402-7 | 2014 | |
| Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings | Taschenbuch | 978-3-540-58179-6 | 2008 | |
| Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994: Proceedings | Paperback | 978-0-387-58179-8 | 1994 | |
| Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits | " | 978-0-262-54157-2 | 2003 | |
| Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits | Hardcover | 978-0-262-04101-0 | 1989 |
D D · David D. · David Dill · David L. · L.D.