Principles of model checking

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