Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
정형검증을 위한 대규모 유한 상태 기계의 과도 근사 도달성 분석
- Authors
- 홍유표
- Issue Date
- 17-Nov-2001
- Place
- 대한민국
단국대학교
- Conference Date
- 2001-11-17
- Conference Name
- 컴퓨터 소사이어티 추계 학술대회
- Files in This Item
- There are no files associated with this item.
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
Related Researcher
- Hong, You Pyo
- College of Engineering (Department of Electronics and Electrical Engineering)