Principles of model checking

Detalles Bibliográficos
Autor Principal:	Baier, Christel
Outros autores:	Katoen, Joost-Pieter
Formato:	Libro
Idioma:	English
Publicado:	Cambridge, Mass. MIT Press [2008?]
Subjects:	Computer systems > Verification. Computer software > Verification.
Acceso en liña:	Table of contents only