Tsay, Yih-Kuen
概要
作品: | 8 作品在 0 項出版品 0 種語言 |
---|
書目資訊
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
(書目-電子資源)