|
|
1.
|
Partial order methods in verification: DIMACS workshop July 24-26, 1996/ Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors. by
- Peled, Doron, 1962-
- Pratt, Vaughan R
- Holzmann, Gerard J, 1951-
- DIMACS (Group)
- Workshop on Partial Order Methods in Verification (1996: Princeton University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; 29
Publication details: Providence, R.I.: American Mathematical Society, c1997
Availability: Items available for loan: Castorina (1)Call number: 006.601 P273 1997 IMPA.
Found in Open Library:
|
|
|
2.
|
The SPIN verification system: the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996/ Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editors. by
- Workshop on the SPIN Verification System (2nd: 1996: Rutgers University)
- Grégoire, Jean-Charles, 1960-
- Holzmann, Gerard J, 1951-
- Peled, Doron, 1962-
Series: DIMACS series in discrete mathematics and theoretical computer science ; 32
Publication details: Providence, R.I.: American Mathematical Society, c1997
Availability: Items available for loan: Castorina (1)Call number: 005.276 S757 1997 IMPA.
Found in Open Library:
|
