An introduction to practical formal methods using temporal logic /

• Main Author: Fisher, Michael, 1962-
• Format: eBook
• Language: English
• Published: Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley, 2011.
• Subjects: Temporal automata.; Logic, Symbolic and mathematical.; MATHEMATICS > Infinity.; MATHEMATICS > Logic.; Electronic books.