Principles of model checking - Baier, Christel; Katoen, Joost-Pieter 1964- (MIT Press, 2008)
Includes bibliographical references and index
Keywords: Model Checking; Programmverifikation