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

선택목록저장

검색간략리스트

저널기사
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs / P.Godefroid D.Peled M.Staskauskas / IEEE computer society / IEEE Transactions on software engineering / 1996 /
항목 :