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

자료검색

기사색인

검색 타입
상세검색
검색어[전방일치/ 기사저자명:J.M.Atlee J.Gannon]
1건 중 1건 출력
1/1 페이지 엑셀파일 출력
검색결과제한

검색간략리스트

열거형 테이블형
Search Option
Service Form
1.
기사제목
State-Based Model Checking of Event-Driven System  미리보기
기사저자명
J.M.Atlee J.Gannon
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
1 
Serial Form