TY - BOOK TI - The spin model checker : primer and reference manual AU - Holzmann, Gerald J., 1951-. SN - 0321228626 PB - Addison-Wesley PP - Boston, MA : Addison-Wesley, 2004. PY - 2004 UR - https://library.korea.ac.kr/detail/?cid=CAT000045114721&ctype=m