http://ir.sinica.edu.tw/handle/201000000A/38991
題名: | Complete SAT-based Model Checking for Context-Free Processes | 作者: | Geng-Dian Huang Bow-Yaw Wang |
公開日期: | 2007-10 | 會議: | 5th International Symposium on Automated Technology for Verification and Analysis (Tokyo, Japen) | URI: | http://ir.sinica.edu.tw/handle/201000000A/38991 |
顯示於: | 資訊科學研究所 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。