An introduction to practical formal methods using temporal logic

Detalhes bibliográficos
Autor principal:	Fisher, Michael 1962-
Formato:	Livro
Idioma:	English
Publicado em:	Chichester, West Sussex, U.K. Wiley 2011.
Assuntos:	Temporal automata. Logic, Symbolic and mathematical.