• RecordNumber
    6334
  • Author
    Clarke, E. M., 1945-
  • Title

    Model checking

  • Author Statement
    Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.
  • Publication
    Cambridge, Mass. : MIT Press
  • Publication Year
    c1999
  • Collation
    xiv, 314 p. : ill. ; 24 cm
  • Notes
    Includes bibliographical references (p. [297]-307) and index.
  • Subject

    Computer systems- Verification

  • ADDED ENTRIES
    Grumberg, Orna. , Peled, Doron,
  • Main class
    004.
  • Sub class
    21
  • Cutter no
    M689
  • ISBN
    0262032708