| |
| 1994 | ||
|---|---|---|
| 3 | Cheryl Harkness, Elizabeth Wolf: Verifying the Summit Bus Converter Protocols with Symbolic Model Checking. Formal Methods in System Design 4(2): 83-97 (1994) | |
| 1992 | ||
| 2 | EE | Cheryl Harkness, Daniel P. Lopresti: Interval methods for modeling uncertainty in RC timing analysis. IEEE Trans. on CAD of Integrated Circuits and Systems 11(11): 1388-1401 (1992) |
| 1990 | ||
| 1 | Cheryl Harkness, Daniel P. Lopresti: VLSI Placement Using Uncertain Costs. ICCAD 1990: 340-343 | |
| 1 | Daniel P. Lopresti | [1] [2] |
| 2 | Elizabeth Wolf | [3] |