An introduction to practical formal methods using temporal logic /
Fisher, Michael, 1962-
An introduction to practical formal methods using temporal logic / Michael Fisher. - Chichester, West Sussex, U.K. : Wiley, 2011. - vii, 353 p. : ill. ; 26 cm.
Includes bibliographical references (p. [321]-347) and index.
9780470027882 (cloth)
Temporal automata.
Logic, Symbolic and mathematical.
An introduction to practical formal methods using temporal logic / Michael Fisher. - Chichester, West Sussex, U.K. : Wiley, 2011. - vii, 353 p. : ill. ; 26 cm.
Includes bibliographical references (p. [321]-347) and index.
9780470027882 (cloth)
Temporal automata.
Logic, Symbolic and mathematical.