author = { Baier, Christel AND Katoen, Joost-Pieter },

title = { Principles of model checking },

publisher = {MIT Press},

isbn = {9780262026499},

keywords = { Computer systems Verification , Computer software Verification , Model Checking , Programmverifikation },

year = {2008},

abstract = {Includes bibliographical references and index},

address = { Cambridge, Mass. [u.a.] },

url = { http://slubdd.de/katalog?TN_libero_mab2 }