Partial order methods in verification : DIMACS Workshop, July 24-26, 1996,

Author(s)

• Workshop on Partial Order Methods in Verification ( : 1996 : Princeton University)
• Peled, Doron
• Pratt, Vaughan R.
• Holzmann, Gerard J.

Bibliographic Information

Partial order methods in verification : DIMACS Workshop, July 24-26, 1996,

Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors

（DIMACS series in discrete mathematics and theoretical computer science, v. 29）

American Mathematical Society, c1997

Note

Includes bibliographical references

• NCID: BA30622932
• ISBN:
  • 0821805797
• LCCN: 96048739
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Providence, R.I.
• Pages/Volumes: xiv, 403 p.
• Size: 26 cm
• Classification:
  • LCC : QA76.9.D5
  • DC21 : 005.2/76
• Subject Headings:
  • LCSH : Electronic data processing -- Distributed processing -- Congresses
  • LCSH : Computer software -- Verification -- Congresses
• Parent Bibliography ID:
  • BA12282377