Record:   Prev Next
作者 Wang, Farn
書名 TCTL inevitability analysis of dense-time systems / Farn Wang, Geng-Dian Hwang, Fang Yu
出版項 Taipei, R.O.C. : Institute of Information Science, Academia Sinica, 2003
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室技術報告區  Ref  TR-IIS-03-006    館內使用    30330030005313
說明 18 p., iii : ill. ; 28 cm
附註 Bibliography: p. 16
Alt Author Hwang, Geng-Dian
Yu, Fang
Academia Sinica Institute of Information Science
Record:   Prev Next