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

바구니

검색간략리스트

1.
저널기사
MSC로 기술된 통신 소프트웨어 명세의 검증을 위한 전체 상태 전이그래프 생성 / 김병만 김현수 신윤식 / 한국정보과학회 / 정보과학회논문지(소프트웨어 및 응용) / 1999 /