D. E. Long

4 references 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.

Verification of the Futurebus1 cache coherence protocol

E. M. Clarke and others (1993) · Proceedings CHDL

Symbolic model checking with partitioned transition relations

J. R. Burch and others (1991) · Proceedings of the IFIP International Conference on Very Large Scale Integration (VLSI 91), Edinburgh

Symbolic model checking with partitioned transition relations

J. R. Burch and others (1991) · Technical Report CMU-CS-9 1-195

A language for compositional specification and verification of finite state hardware controllers

E. M. Clarke and others (1989) · 9th International Symposium on Hardware Description Languages and their Applications