TY - BOOK TI - Formal methods for distributed system development : October 10-13, 2000, Pisa, Italy AU - Bolognesi, Tommaso. AU - Latella, Diego. SN - 0792379683 (alk. paper) PB - Kluwer Academic Publishers PP - Boston, MA : Kluwer Academic Publishers, 2000. PY - 2000 UR - https://library.korea.ac.kr/detail/?cid=CAT000000710966&ctype=m