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

선택목록저장

검색간략리스트

저널기사
A Relational Notation for State Transition Systems / S.S.Lam A.U.Shankar / IEEE computer society / IEEE Transactions on software engineering / 1990 /
항목 :