Partial order methods in verification
Subtitle: DIMACS workshop July 24-26, 1996
By: Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors.
Contributors: Peled, Doron, 1962-; Pratt, Vaughan R.; Holzmann, Gerard J.; DIMACS (Group); Workshop on Partial Order Methods in Verification (1996 : Princeton University)
Series: DIMACS series in discrete mathematics and theoretical computer science,; v. 29
Publisher: American Mathematical Society
Published: 1997
Place of publication: Providence, R.I
Language: eng
Number of pages: 403
Subjects: Electronic data processing -- Distributed processing -- Congresses.; Computer software -- Verification -- Congresses.
Notes: Includes bibliographical references.
"Workshop on Partial Order Methods in Verification, July 24-26, 1996, Princeton University, New Jersey"--Pref.