Principles of model checking - Baier, Christel; Katoen, Joost-Pieter.; ProQuest (Firm) (Cambridge, Mass. : MIT Press, 2008)
Includes bibliographical references (p. 931-964) and index.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Keywords: Computer systems -- Verification; Computer software -- Verification; Electronic books