Nobuhiro Hamada

	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

Coauthor Index

1	Keisuke Bekki	[1]
2	Noriharu Hiratsuka	[1]
3	Tohru Nagai	[1]
4	Kazumasa Shima	[1]
5	Tsuguo Shimizu	[1]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page