Model checking [electronic resource] / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.
By: Clarke, Edmund M., Jr. (Edmund Melson).
Contributor(s): Grumberg, Orna | Peled, Doron A.
Material type: BookPublisher: Cambridge, Mass. : MIT Press, c1999Description: 1 online resource.ISBN: 9780262032704; 9780262270458 (electronic bk.).Call No.: QA76.76.V47 C553 1999 Subject(s): Computer systems -- VerificationOnline resources: Electronic Resources Bibliography, etc. Note: Includes bibliographical references and index.No physical items for this record
Includes bibliographical references and index.
There are no comments for this item.