蔡益坤2006-07-262018-06-292006-07-262018-06-291998http://ntur.lib.ntu.edu.tw//handle/246246/18761zh-TW國立臺灣大學資訊管理學系暨研究所時間邏輯式規格的自動分析與可組合性other