| |
| 1994 | ||
|---|---|---|
| 5 | Zheng Zhu, Carl-Johan H. Seger: The Completeness of a Hardware Inference System. CAV 1994: 286-298 | |
| 4 | Zheng Zhu, Steven D. Johnson: Capturing Synchronization Specifications for Sequential Compositions. ICCD 1994: 117-121 | |
| 3 | Zheng Zhu: A Compositional Circuit Model and Verification by Composition. TPCD 1994: 92-109 | |
| 1993 | ||
| 2 | Zheng Zhu, Steven D. Johnson: Automatic Synthesis of Sequential Synchronizations. CHDL 1993: 299-315 | |
| 1 | Zheng Zhu, Jeffrey J. Joyce, Carl-Johan H. Seger: Verification of the Tamarack-3 Microprocessor in a Hybrid Verification Environment. HUG 1993: 253-266 | |
| 1 | Steven D. Johnson | [2] [4] |
| 2 | Jeffrey J. Joyce | [1] |
| 3 | Carl-Johan H. Seger | [1] [5] |