| 1992 | ||
|---|---|---|
| 2 | Alan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang: Higher-Level Specification and Verification with BDDs. CAV 1992: 82-95 | |
| 1 | David L. Dill, Andreas J. Drexler, Alan J. Hu, C. Han Yang: Protocol Verification as a Hardware Design Aid. ICCD 1992: 522-525 | |
| 1 | David L. Dill | [1] [2] |
| 2 | Alan J. Hu | [1] [2] |
| 3 | C. Han Yang | [1] [2] |