모델 체킹을 이용한 네모라이즈 게임 풀이

  • 이정림 (경기대학교 전자계산학과) ;
  • 권기현 (경기대학교 정보과학부)
  • Published : 2005.06.01