Kuzuko Takahashi

List of publications from the DBLP Bibliography Server - FAQ

1984

1 Akira Fusaoka, Hirohisa Seki, Kuzuko Takahashi: Description and Reasoning of VLSI Circuit in Temporal Logic. New Generation Comput. 2(1): 79-90 (1984)

1984
1		Akira Fusaoka, Hirohisa Seki, Kuzuko Takahashi: Description and Reasoning of VLSI Circuit in Temporal Logic. New Generation Comput. 2(1): 79-90 (1984)

Coauthor Index