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

Cutter no

M689

ISBN

0262032708

Link To Document