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

바구니

검색간략리스트

1.
저널기사
Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems / G.S.Avrunin J.C.Corbett L.K.Dillon / IEEE computer society / IEEE Transactions on software engineering / 1994 /