TY - BOOK
AU - Baier, Christel
AU - Katoen, Joost-Pieter
TI - Principles of model checking
PB - MIT Press
SN - 9780262026499
KW - Computer systems Verification
KW - Computer software Verification
KW - Model Checking
KW - Programmverifikation
PY - 2008
N2 - Includes bibliographical references and index
CY - Cambridge, Mass. [u.a.]
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation