Baier, Christel Principles of Model Checking / by Christel Baier. - Cambridge, Mass. : The MIT Press, 2008. - xvii, 975 p. : ill. ; Include Index ISBN: 9780262026499 Subjects--Topical Terms: Principles of model checking Dewey Class. No.: 004.24 / BAI/P