Principles of model checking

Bibliographische Detailangaben
1. Verfasser:	Baier, Christel
Weitere Verfasser:	Katoen, Joost-Pieter
Format:	Buch
Sprache:	English
Veröffentlicht:	Cambridge, Mass. MIT Press [2008?]
Schlagworte:	Computer systems > Verification. Computer software > Verification.
Online Zugang:	Table of contents only