Introduction to Practical Formal Methods Using Temporal Logic, Hardcover by F...

An Introduction to Practical Formal Methods Using Temporal Logic by Fisher: New

An Introduction to Practical Formal Methods Using Temporal Logic by Michael Fish

A Practical Introduction to Fuzzy Logic Using LISP by Luis Argüelles Mendez

An Introduction to Practical Formal Methods Using Temporal Logic by Michael Fish

Spatio-Temporal Methods in - Hardcover, by Shaddick Gavin; Zidek - Very Good

Temporal Logic and State Systems by Stephan Merz (English) Hardcover Book

Formal Methods for Multi-Agent Feedback Control Systems by Lars Lindemann Paperb