1. 目前位置：

瀏覽 的方式： 作者 Chu, Liang-Jung

跳到： 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
或是輸入前幾個字：  
顯示 1 到 1 筆資料，總共 1 筆
公開日期標題作者
1997使用模型檢驗器SPIN測試與驗證並行程式朱良鈞; Chu, Liang-Jung; 黃廷祿; Ting-Lu Huang; 資訊科學與工程研究所
顯示 1 到 1 筆資料，總共 1 筆