Li-Fu Wang

	2007
2		Zhi-Hong Tao, Cong-Hua Zhou, Zhong Chen, Li-Fu Wang: Bounded Model Checking of CTL. J. Comput. Sci. Technol. 22(1): 39-43 (2007)
	2006
1		Zhi-Hong Tao, Hans Kleine Büning, Li-Fu Wang: Direct Model Checking Matrix Algorithm. J. Comput. Sci. Technol. 21(6): 944-949 (2006)

Coauthor Index

1	Hans Kleine Büning	[1]
2	Zhong Chen	[2]
3	Zhi-Hong Tao	[1] [2]
4	Cong-Hua Zhou	[2]