| |
| 1998 | ||
|---|---|---|
| 2 | Ti-Yen Yen, Alex Ishii, Albert E. Casavant, Wayne Wolf: Efficient Algorithms for Interface Timing Verification. Formal Methods in System Design 12(3): 241-265 (1998) | |
| 1994 | ||
| 1 | EE | Ti-Yen Yen, Wayne Wolf, Albert E. Casavant, Alex Ishii: Efficient algorithms for interface timing verification. EURO-DAC 1994: 34-39 |
| 1 | Albert E. Casavant | [1] [2] |
| 2 | Wayne Wolf | [1] [2] |
| 3 | Ti-Yen Yen | [1] [2] |