The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996 /
Workshop on the SPIN Verification System(2nd :1996 :Rutgers University)
Grégoire, Jean-Charles,1960-
Holzmann, Gerard J.,1951-
Peled, Doron,1962-
Providence, R.I. : American Mathematical Society,
c1997.
Workshop held at Rutgers Univ. in New Brunswick, N.J.
Includes bibliographical references.
SPIN (Computer file)
Computer software