Tsay, Yih-Kuen
Overview
Works: | 8 works in 0 publications in 0 languages |
---|
Titles
Automated Technology for Verification and Analysis :Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
by:
(1998 :); Peled, Doron A.; SpringerLink (Online service); Tsay, Yih-Kuen
(Electronic resources)