Nobuhiro Hamada

Publication Activity (10 Years)

Years Active: 1991-1991
Publications (10 Years): 0

Publications

Keisuke Bekki, Tohru Nagai, Nobuhiro Hamada, Tsuguo Shimizu, Noriharu Hiratsuka, Kazumasa Shima
An Automatic Finite State Machine Synthesis Using Temporal Logic Decomposition. ICCAD (1991)