Yoshifumi Yuasa

	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	Toshifusa Sekizawa	[1] [2]
2	Koichi Takahashi	[1] [2]
3	Yoshinori Tanabe	[1] [2]