| Type |  Book |
| ชื่อเรื่อง | Model checking [electronic resource] / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled |
| ผู้แต่ง | Clarke, E. m. 1945- |
| ISBN | 0585385580 (electronic bk.) |
| | 9780585385587 (electronic bk.) |
| พิมพลักษณ์ | Cambridge, Mass. : MIT Press, c1999 |
| รูปเล่ม | 1 online resource (xiv, 314 p.) : ill |
| หัวเรื่อง | Computer systems --Verification [] |