公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2004 | Bounded Model Checking for Region Automata | Fang Yu; Bow-Yaw Wang; Yao-Wen Huang | ||||
2004 | Web-Based Collaborative Problem Solving Environment Part I: Knowledge Management | Gen-Cher Lee; Ming-Yu Chen; Yao-Wen Huang; Jyh-Da Wei; Chien-Min Wang; D. T. Lee | TR-IIS-04-012 |