Partial order methods in verification: DIMACS workshop July 24-26, 1996/
Partial order methods in verification: DIMACS workshop July 24-26, 1996/
Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors.
- Providence, R.I.: American Mathematical Society, c1997.
- xiv, 403 p.: ill.; 26 cm.
- DIMACS series in discrete mathematics and theoretical computer science; 29 .
"Workshop on Partial Order Methods in Verification, July 24-26, 1996, Princeton University, New Jersey"--Pref.
Includes bibliographical references.
0821805797
96048739
Electronic data processing---Distributed processing.--Congresses.
Computer software---Verification.--Congresses.
Traitement réparti---Congres.
Logiciels---Vérification--Vérification
006.601 / P273
"Workshop on Partial Order Methods in Verification, July 24-26, 1996, Princeton University, New Jersey"--Pref.
Includes bibliographical references.
0821805797
96048739
Electronic data processing---Distributed processing.--Congresses.
Computer software---Verification.--Congresses.
Traitement réparti---Congres.
Logiciels---Vérification--Vérification
006.601 / P273