Derek L. Beatty
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Formal Hardware Verification by Symbolic Ternary Trajectory Evaluation
Randal E. Bryant and others (1991) · Proceedings of the 28th ACM/IEEE Design Automation Conference (DAC '91)