Record:   Prev Next
作者 Wang, Bow-Yaw
書名 Automatic verification of a model checker in rewriting logic / Bow-Yaw Wang
出版項 Taipei, R.O.C. : Institute of Information Science, Academia Sinica, 2005
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室技術報告區  Ref  TR-IIS-05-009    在架上    30330030005677
說明 15 p. : ill. ; 28 cm
附註 Bibliography: p. 14-15
Alt Author Academia Sinica Institute of Information Science
Record:   Prev Next