@book
{TN_libero_mab2,
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
}
}