ScholarWorks@동국대학교

상세 보기

정형검증을 위한 대규모 유한 상태 기계의 과도 근사 도달성 분석

제목
정형검증을 위한 대규모 유한 상태 기계의 과도 근사 도달성 분석
저자
홍유표
발행일
2001-11-17
학회명
컴퓨터 소사이어티 추계 학술대회
개최지
단국대학교
개최국가
대한민국
학회 개최일
2001-11-17 ~ 2001-11-17

ScholarWorks@동국대학교

04620 서울특별시 중구 필동로 1길 30 동국대학교 Tel. 02-2260-3114

COPYRIGHT © 동국대학교 All Rights Reserved.

Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.

You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.