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

바구니

검색간략리스트

1.
저널기사
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 /