TY - BOOK TI - Distributed computation systems : modeling, verification and algorithms AU - Pinter, S. S. PB - s.n.] PP - [S.l. : s.n.] , 1984. PY - 1984 UR - https://library.korea.ac.kr/detail/?cid=CAT000000026815&ctype=m