https://scholars.lib.ntu.edu.tw/handle/123456789/105103
標題: | 時間邏輯式規格的自動分析與可組合性 | 作者: | 蔡益坤 | 公開日期: | 1998 | 出版社: | 臺北市:國立臺灣大學資訊管理學系暨研究所 | URI: | http://ntur.lib.ntu.edu.tw//handle/246246/18761 | 其他識別: | 20060725115738296507 | Rights: | 國立臺灣大學資訊管理學系暨研究所 |
顯示於: | 資訊管理學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。