Lin-Zan Cai

	2009
2		Geng-Dian Huang, Lin-Zan Cai, Farn Wang: LTL Model Checking for Recursive Programs. ATVA 2009: 382-396
	2007
1		Lin-Zan Cai, Rong-Shiung Wu, Wen-Ting Huang, Farn Wang: Test automation for kernel code and disk arrays with virtual devices. ASE 2007: 505-508

Coauthor Index

1	Geng-Dian Huang	[2]
2	Wen-Ting Huang	[1]
3	Farn Wang	[1] [2]
4	Rong-Shiung Wu	[1]