Masaya Nakai

Publication Activity (10 Years)

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

Publications

Hiroshi Nakamura, Masaya Nakai, Shinji Kono, Masahiro Fujita, Hidehiko Tanaka
Logic Design Assistence Using Temporal Logic Based Language Tokio. LP (1989)