Partial order methods in verification

DIMACS workshop July 24-26, 1996

Verfasser / Beitragende:
Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors
Ort, Verlag, Jahr:
Providence, R.I : American Mathematical Society, 1997
Beschreibung:
1 Online-Ressource
Format:
Buch (Kongress) (online)
Online Zugang:
ID: 549206183