An introduction to practical formal methods using temporal logic

Dades bibliogràfiques
Autor principal:	Fisher, Michael 1962-
Format:	Llibre
Idioma:	English
Publicat:	Chichester, West Sussex, U.K. Wiley 2011.
Matèries:	Temporal automata. Logic, Symbolic and mathematical.