Principles of model checking /

Bibliographic Details
Main Author:	Baier, Christel
Other Authors:	Katoen, Joost-Pieter
Format:	Book
Language:	English
Published:	Cambridge, Mass. : The MIT Press, [2008?]
Subjects:	Computer systems > Verification. Computer software > Verification.

Evans: Library Stacks