| 公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 |
|---|---|---|---|---|---|---|
| 2010 | Automated Assume-Guarantee Reasoning through Implicit Learning | Yu-Fang Chen; Edmund M. Clarke; Azadeh Farzan; Ming-Hsien Tsai; Yih-Kuen Tsay; Bow-Yaw Wang | ||||
| 2010 | Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning. | Yu-Fang Chen; Edmund M. Clarke; Azadeh Farzan; Fei He; Ming-Hsien Tsai; Yih-Kuen Tsay; Bow-Yaw Wang; Lei Zhu |
