研發處: 研究計畫 (國科會)

學年 84
學期 1
計畫案開始日期 1995-08-01
計畫案結束日期 1996-07-31
計畫主持人姓名 陳伯榮
共同主持人姓名一 林丕靜
共同主持人姓名二
共同主持人姓名三
計畫中文名稱 反應式系統規格語言與 Timed Petri Nets 模式的整合（第二年）