刊名
類目
出版年
資料類型
檢索結果筆數(1)。 各著作權人授權國家圖書館,敬請洽詢 nclper@ncl.edu.tw
在搜尋的結果範圍內查詢:
全部
排序
每頁顯示
1
Knowledge-Based Specification and the Verification Supported by Predicate/Transition Nets for Digital Systems:數位系統之規範及驗證(知識庫及述語/轉移網路)
沈榮麟 Shen, Victor R. L.;
明志工專學報
28 1996.05[民85.05]
頁35-51
TCI引用統計