Lin-Zan Cai

Publication Activity (10 Years)

Years Active: 2007-2009
Publications (10 Years): 0

Publications

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