The SPIN verification system
the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996
Gespeichert in:
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: