http://ir.sinica.edu.tw/handle/201000000A/39286| 題名: | 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 |
公開日期: | 2010-10 | 會議: | 4th International Symposium on Leveraging Applications (ISoLA 2010) (Heraklion, Crete, Greece) | URI: | http://ir.sinica.edu.tw/handle/201000000A/39286 |
| 顯示於： | 資訊科學研究所 |
在 IR 系統中的文件，除了特別指名其著作權條款之外，均受到著作權保護，並且保留所有的權利。