Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
정형검증을 위한 대규모 유한 상태 기계의 과도 근사 도달성 분석
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | 홍유표 | - |
| dc.date.accessioned | 2024-10-30T02:01:51Z | - |
| dc.date.available | 2024-10-30T02:01:51Z | - |
| dc.date.issued | 2001-11-17 | - |
| dc.identifier.uri | https://scholarworks.dongguk.edu/handle/sw.dongguk/36213 | - |
| dc.title | 정형검증을 위한 대규모 유한 상태 기계의 과도 근사 도달성 분석 | - |
| dc.type | Conference | - |
| dc.citation.conferenceName | 컴퓨터 소사이어티 추계 학술대회 | - |
| dc.citation.conferencePlace | 대한민국 | - |
| dc.citation.conferencePlace | 단국대학교 | - |
| dc.citation.conferenceDate | 2001-11-17 | - |
- 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)