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

선택목록저장

검색간략리스트

저널기사
A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets / T.Suzuki S.M.Shatz T.Murata / IEEE computer society / IEEE Transactions on software engineering / 1990 /
항목 :