Chikatoshi Yamada

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

Coauthor Index

1	Seiki Akama	[3]
2	Yasunori Nagata	[1] [2] [3]
3	Zensho Nakao	[1] [2]