모델 체킹; 추상 도달가능성 그래프; 블록 인코딩; 그래프 탐색전략; model checking; abstract reachability graph; block-encoding; graph traversal strategies
정보과학회논문지, v.44, no.10, pp.1034 - 1044
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.