http://ir.sinica.edu.tw/handle/201000000A/38990
題名: | VCS: A Verifier for Component-Based Systems | 作者: | Fei He Liangze Yin Bow-Yaw Wang Lianyi Zhang Guanyu Mu Wenrui Meng |
公開日期: | 2013-10 | 會議: | Automated Technology for Verification and Analysis (ATVA 2013) (Hanoi, Vietnam) | URI: | http://ir.sinica.edu.tw/handle/201000000A/38990 |
顯示於: | 資訊科學研究所 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。