The SPIN verification system
Subtitle: the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996
By: Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editors.
Contributors: Grégoire, Jean-Charles, 1960-; Holzmann, Gerard J., 1951-; Peled, Doron, 1962-
Series: DIMACS series in discrete mathematics and theoretical computer science,; v. 32
Publisher: American Mathematical Society
Published: 1997
Place of publication: Providence, R.I
Language: eng
Number of pages: 203
Subjects: SPIN (Computer file) -- Congresses; Computer software -- Verification -- Congresses
Notes: Includes bibliographical references.
Workshop held at Rutgers Univ. in New Brunswick, N.J.