| |
| 1989 | ||
|---|---|---|
| 1 | Hiroshi Nakamura, Masaya Nakai, Shinji Kono, Masahiro Fujita, Hidehiko Tanaka: Logic Design Assistence Using Temporal Logic Based Language Tokio. LP 1989: 174-183 | |
| 1 | Masahiro Fujita | [1] |
| 2 | Shinji Kono | [1] |
| 3 | Hiroshi Nakamura | [1] |
| 4 | Hidehiko Tanaka | [1] |