Principles of model checking

Bibliografische gegevens
Hoofdauteur:	Baier, Christel
Andere auteurs:	Katoen, Joost-Pieter
Formaat:	Boek
Taal:	English
Gepubliceerd in:	Cambridge, Mass. MIT Press [2008?]
Onderwerpen:	Computer systems > Verification. Computer software > Verification.
Online toegang:	Table of contents only