| |
| 2001 | ||
|---|---|---|
| 4 | EE | Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet: A light-weight framework for hardware verification. STTT 3(3): 286-313 (2001) |
| 1999 | ||
| 3 | EE | Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet: A Light-Weight Framework for Hardware Verification. TACAS 1999: 330-344 |
| 2 | EE | Christoph Kern, Mark R. Greenstreet: Formal verification in hardware design: a survey. ACM Trans. Design Autom. Electr. Syst. 4(2): 123-193 (1999) |
| 1998 | ||
| 1 | EE | Tarik Ono-Tesfaye, Christoph Kern, Mark R. Greenstreet: Verifying a Self-Timed Divider. ASYNC 1998: 146-158 |
| 1 | Mark R. Greenstreet | [1] [2] [3] [4] |
| 2 | Tarik Ono-Tesfaye | [1] [3] [4] |