| |
| 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 | Nobuhiro Hamada | [1] |
| 3 | Noriharu Hiratsuka | [1] |
| 4 | Tohru Nagai | [1] |
| 5 | Tsuguo Shimizu | [1] |