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.
@inproceedings{NakamuraNKFT89,
title = {Logic Design Assistence Using Temporal Logic Based Language Tokio},
author = {Hiroshi Nakamura and Masaya Nakai and Shinji Kono and Masahiro Fujita and Hidehiko Tanaka},
year = {1989},
tags = {rule-based, language design, logic, design},
researchr = {https://researchr.org/publication/NakamuraNKFT89},
cites = {0},
citedby = {0},
pages = {174-183},
booktitle = {Logic Programming 89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989},
editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki},
volume = {485},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-53919-0},
}