- CSB - MetaPress - Google - Bing - Yahoo
 | 1991 | |
|---|---|---|
| 1 |      | Keisuke Bekki, Tohru Nagai, Nobuhiro Hamada, Tsuguo Shimizu, Noriharu Hiratsuka, Kazumasa Shima: An Automatic Finite State Machine Synthesis Using Temporal Logic Decomposition. ICCAD 1991: 422-425 |
| 1 | Keisuke Bekki | [1] |
| 2 | Noriharu Hiratsuka | [1] |
| 3 | Tohru Nagai | [1] |
| 4 | Kazumasa Shima | [1] |
| 5 | Tsuguo Shimizu | [1] |