The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
The work
| Authors | David L. Dill |
|---|---|
| Editors | |
| Type | misc |
| Year | 1988 |
| Also known as | anon1988trace |
| Citekey | dill1988trace |
Where it appeared
| Publisher | The MIT Press |
|---|
Identifiers
| DOI | 10.7551/mitpress/1102.003.0006 |
|---|
How it got here
| How it got here | agent via unpaywall |
|---|---|
| Added | 2026-10-23 10:57 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{dill1988trace,
title = {Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits},
author = {David L. Dill},
year = {1988},
publisher = {The MIT Press},
doi = {10.7551/mitpress/1102.003.0006},
}
This record lives at https://refs.drheap.org/dill1988trace/ and will keep
doing so. It used to be called anon1988trace, and those addresses still resolve to this one.