About KOASAS KAIST Library
학위논문(석사) - 한국과학기술원 : 정보및통신공학과, 1996.8, [ vi, 48 p. ]
교착상태; Time petri nets; 도달성 조사; 유한성; 시간 페트리 네트; Deadlock; Reachability analysis; Boundedness
Display Full Item Record
트윗하기
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
rss_1.0 rss_2.0 atom_1.0