TY - BOOK TI - The SPIN model checker : primer and reference manual / Gerard J. Holzmann. AU - Holzmann, Gerard J. CY - Boston, Mass. ; London PB - Addison-Wesley PY - 2003 LA - English SN - 0321228626 ER -