The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996
Author(s)
Bibliographic Information
The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996
（DIMACS series in discrete mathematics and theoretical computer science, v. 32）
American Mathematical Society, c1997
Available at / 9 libraries
-
No Libraries matched.
- Remove all filters.
Note
Workshop held at Rutgers Univ. in New Brunswick, N.J
Includes bibliographical references
