APA (7th ed.) Citation

Fisher, M. (2011). An introduction to practical formal methods using temporal logic. Wiley.

Chicago Style (17th ed.) Citation

Fisher, Michael. An Introduction to Practical Formal Methods Using Temporal Logic. Chichester, West Sussex, U.K: Wiley, 2011.

MLA (9th ed.) Citation

Fisher, Michael. An Introduction to Practical Formal Methods Using Temporal Logic. Wiley, 2011.

Warning: These citations may not always be 100% accurate.