An introduction to practical formal methods using temporal logic

Bibliographic Details
Main Author:	Fisher, Michael 1962-
Format:	Book
Language:	English
Published:	Chichester, West Sussex, U.K. Wiley 2011.
Subjects:	Temporal automata. Logic, Symbolic and mathematical.