| |
| 2007 | ||
|---|---|---|
| 1 | EE | Katsumi Wasaki, Toshiaki Harai, Tamotsu Hayashi, Ken-ichi Arai: Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net. DSD 2007: 257-260 |
| 1 | Ken-ichi Arai | [1] |
| 2 | Tamotsu Hayashi | [1] |
| 3 | Katsumi Wasaki | [1] |