대구한의대학교 향산도서관

바구니

검색간략리스트

1.
저널기사
NuSMV에서 생성된 반례길이 비교: / 이태훈 권기현 / 한국정보과학회 / 학술발표논문집(한국정보과학회) / 2004 /