서브메뉴
검색
게임 풀이를 위한 NuSMV의 효율적인 반례 생성
게임 풀이를 위한 NuSMV의 효율적인 반례 생성
Detailed Information
- Material Type
- 기사
- ISSN
- 15982866
- Author
- 권기현 ( Kwon Gi Hyeon )
- Title/Author
- 게임 풀이를 위한 NuSMV의 효율적인 반례 생성 / 권기현 ( Kwon Gi Hyeon ) ; 이태훈 ( Lee Tae Hun ) 공저
- Publish Info
- 서울 : 한국정보처리학회, 2003.
- Material Info
- pp. 813-820
- General Note
- 참고문헌수록
- Added Entry-Personal Name
- 이태훈 ( Lee Tae Hun )
- Electronic Location and Access
- 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
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
Detail Info.
- Reservation
- Not Exist
- My Folder
- Reference Materials for Thesis Writing
- Reference Materials for Research Ethics
- Job-Related Books
