다중 유한상태머신 기반 병렬적 도달성 분석 기법2010년 4월 1일 · 약 1분이정선이우진담당교수신영술카오티리제33회 한국정보처리학회 춘계학술발표대회, 제17권, 제1호, 2010년 4월