상품 이미지 새창 보기

Partial Order Methods in Verification: Dimacs WorkshopJuly 24-26, 1996 - Series in discrete Mathematics and Theoretical Computer Science Vol.29(1997)