Principles of model checking

Détails bibliographiques
Auteur principal:	Baier, Christel
Autres auteurs:	Katoen, Joost-Pieter
Format:	Livre
Langue:	English
Publié:	Cambridge, Mass. MIT Press [2008?]
Sujets:	Computer systems > Verification. Computer software > Verification.
Accès en ligne:	Table of contents only