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

바구니

검색간략리스트

1.
저널기사
A Unified High-Level Petri Net Formalism for Time-Critical Systems / C.Ghezzi D.Mandrioli S.Morasca / IEEE computer society / IEEE Transactions on software engineering / 1991 /