The SPIN verification system

the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996

Verfasser / Beitragende:
Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editors
Ort, Verlag, Jahr:
Providence, R.I : American Mathematical Society, 1997
Beschreibung:
1 Online-Ressource
Format:
Buch (Kongress) (online)
Online Zugang:
ID: 549196374