Toshifusa Sekizawa

	2009
3		Toshifusa Sekizawa, Tatsuhiro Tsuchiya, Koichi Takahashi, Tohru Kikuno: Probabilistic Model Checking of the One-Dimensional Ising Model. IEICE Transactions 92-D(5): 1003-1011 (2009)
2		Yoshinori Tanabe, Toshifusa Sekizawa, Yoshifumi Yuasa, Koichi Takahashi: Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus. IEICE Transactions 92-D(5): 995-1002 (2009)
	2008
1		Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi: Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic. VSTTE 2008: 115-129

Coauthor Index

1	Tohru Kikuno	[3]
2	Koichi Takahashi	[1] [2] [3]
3	Yoshinori Tanabe	[1] [2]
4	Tatsuhiro Tsuchiya	[3]
5	Yoshifumi Yuasa	[1] [2]