Logic Design Assistence Using Temporal Logic Based Language Tokio - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hiroshi Nakamura, Masaya Nakai, Shinji Kono, Masahiro Fujita, Hidehiko Tanaka. Logic Design Assistence Using Temporal Logic Based Language Tokio. In Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki, editors, Logic Programming 89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989. Volume 485 of Lecture Notes in Computer Science, pages 174-183, Springer, 1989.

This author has not been identified. Look up 'Hiroshi Nakamura' in GoogleThis author has not been identified. Look up 'Masaya Nakai' in GoogleThis author has not been identified. Look up 'Shinji Kono' in GoogleThis author has not been identified. Look up 'Masahiro Fujita' in GoogleThis author has not been identified. Look up 'Hidehiko Tanaka' in Google

runs on WebDSL