Partial order methods in verification
DIMACS workshop July 24-26, 1996
Gespeichert in:
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: