%0
Book
%T
Principles of model checking
%A Baier, Christel
%A Katoen, Joost-Pieter
%I MIT Press
%@ 9780262026499
%K Computer systems Verification
%K Computer software Verification
%K Model Checking
%K Programmverifikation
%D 2008
%X Includes bibliographical references and index
%C MIT Press
%C Cambridge, Mass. [u.a.]
%U http://slubdd.de/katalog?TN_libero_mab2