Description: Principles of model checking /

Main Author:	Baier, Christel.
Other Authors:	Katoen, Joost-Pieter.
Format:	Book
Language:	English
Published:	Cambridge, Mass. : The MIT Press, [2008?]
Subjects:	Computers > Verification. Interactive multimedia > Verification.

Physical Description:	xvii, 975 p. : ill. ; 26 cm.
Bibliography:	Includes bibliographical references (p. 931-964) and index.
ISBN:	9780262026499