서브메뉴
검색
게임 풀이를 위한 NuSMV의 효율적인 반례 생성
게임 풀이를 위한 NuSMV의 효율적인 반례 생성
상세정보
- 자료유형
- 기사
- ISSN
- 15982866
- 서명/저자
- 게임 풀이를 위한 NuSMV의 효율적인 반례 생성 / 권기현 ( Kwon Gi Hyeon ) , 이태훈 ( Lee Tae Hun ) 공저
- 발행사항
- 서울 : 한국정보처리학회, 2003.
- 형태사항
- pp. 813-820
- 주기사항
- 참고문헌수록
- 기타저자
- 이태훈 ( Lee Tae Hun )
- 원문정보
- url
- 모체레코드
- 모체정보확인
- Control Number
- kjul:60263671
MARC
008201019s2003 ulk aa kor■022 ▼a15982866
■1001 ▼a권기현 ( Kwon Gi Hyeon )
■24510▼a게임 풀이를 위한 NuSMV의 효율적인 반례 생성▼d권기현 ( Kwon Gi Hyeon )▼e이태훈 ( Lee Tae Hun ) 공저
■260 ▼a서울▼b한국정보처리학회▼c2003.
■300 ▼app. 813-820
■500 ▼a참고문헌수록
■7001 ▼a이태훈 ( Lee Tae Hun )
■773 ▼t정보처리학회논문지 D=The KIPS Transations : Part D▼g제10-D권 제5호 (2003년 8월)▼d2003, 08
■856 ▼uhttp://www.kips.or.kr
■SIS ▼aS016088▼b60058779▼h8▼s2▼fP
