Principles of model checking

Detalles Bibliográficos
Autor principal:	Baier, Christel
Otros Autores:	Katoen, Joost-Pieter
Formato:	Libro
Lenguaje:	English
Publicado:	Cambridge, Mass. MIT Press [2008?]
Materias:	Computer systems > Verification. Computer software > Verification.
Acceso en línea:	Table of contents only