| |
| 2008 | ||
|---|---|---|
| 3 | EE | Seiki Akama, Yasunori Nagata, Chikatoshi Yamada: Three-Valued Temporal Logic Q t and Future Contingents. Studia Logica 88(2): 215-231 (2008) |
| 2006 | ||
| 2 | EE | Chikatoshi Yamada, Yasunori Nagata, Zensho Nakao: An Efficient Specification for System Verification . JACIII 10(6): 931-938 (2006) |
| 2005 | ||
| 1 | EE | Chikatoshi Yamada, Yasunori Nagata, Zensho Nakao: Inductive Temporal Formula Specifications for System Verification. JACIII 9(3): 321-328 (2005) |
| 1 | Seiki Akama | [3] |
| 2 | Yasunori Nagata | [1] [2] [3] |
| 3 | Zensho Nakao | [1] [2] |