Principles of model checking /
Baier, Christel.
Principles of model checking / Christel Baier, Joost-Pieter Katoen. - Cambridge, Mass. : The MIT Press, [2012 - xvii, 975 p. :
9780262026499 (hardcover : alk. paper) 026202649X (hardcover : alk. paper)
Computer systems--Verification.
Computer software--Verification.
51 / BAI
Principles of model checking / Christel Baier, Joost-Pieter Katoen. - Cambridge, Mass. : The MIT Press, [2012 - xvii, 975 p. :
9780262026499 (hardcover : alk. paper) 026202649X (hardcover : alk. paper)
Computer systems--Verification.
Computer software--Verification.
51 / BAI