- CSB - MetaPress - Google - Bing - Yahoo
 | 1992 | |
|---|---|---|
| 1 |      | Beth Levy, Ivan Filippenko, Leo Marcus, Telis Menas: Using the State Delta Verification System (SDVS) for Hardware Verification. TPCD 1992: 337-360 |
| 1 | Ivan Filippenko | [1] |
| 2 | Leo Marcus | [1] |
| 3 | Telis Menas | [1] |