Model checking /
Clarke, Edmund M.
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. - Cambridge, Mass. : MIT Press, 1999. - xiv, 314 p. : ill. ; 24 cm.
Includes bibliographical references (p.297-307) and index.
0262032708
99017979
Computer systems
QA76.76.V47 / C553 1999
004.21 / CLM
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. - Cambridge, Mass. : MIT Press, 1999. - xiv, 314 p. : ill. ; 24 cm.
Includes bibliographical references (p.297-307) and index.
0262032708
99017979
Computer systems
QA76.76.V47 / C553 1999
004.21 / CLM