Model checking / Edmund M. Clarke, Jr., Orna Grumberg and Doron A. Peled.

Saved in:
Bibliographic Details
Main Author: Clarke, Edmund M.
Other Authors: Grumberg, Orna, Peled, Doron, 1962-
Format: Book
Language:English
Published: Cambridge, Mass. ; London : MIT, 2000.
Subjects:
Computer systems > Verification
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items