Model checking /
Clarke, E. M., 1945-
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. - Cambridge, Mass. : MIT Press, c1999. - xiv, 314 p. : ill. ; 24 cm.
Includes bibliographical references (p. [297]-307) and index.
0262032708 (alk. paper)
Computer systems--Verification.
004.21 / CLM
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. - Cambridge, Mass. : MIT Press, c1999. - xiv, 314 p. : ill. ; 24 cm.
Includes bibliographical references (p. [297]-307) and index.
0262032708 (alk. paper)
Computer systems--Verification.
004.21 / CLM