https://scholars.lib.ntu.edu.tw/handle/123456789/105103
Title: | 時間邏輯式規格的自動分析與可組合性 | Authors: | 蔡益坤 | Issue Date: | 1998 | Publisher: | 臺北市:國立臺灣大學資訊管理學系暨研究所 | URI: | http://ntur.lib.ntu.edu.tw//handle/246246/18761 | Other Identifiers: | 20060725115738296507 | Rights: | 國立臺灣大學資訊管理學系暨研究所 |
Appears in Collections: | 資訊管理學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.