- CSB - MetaPress - Google - Bing - Yahoo
 | 1995 | |
|---|---|---|
| 1 |      | Toshihiro Nakaoa, Shin'ichi Wakabayashi, Tetsushi Koide, Noriyoshi Yoshida: A Verification Algorithm for Logic Circuits with Internal Variables. ISCAS 1995: 1920-1923 |
| 1 | Tetsushi Koide | [1] |
| 2 | Shin'ichi Wakabayashi | [1] |
| 3 | Noriyoshi Yoshida | [1] |