Author

Michael Fisher

Catalogue records by Michael Fisher in the PakCat Union Catalogue.

2 catalogue records

Catalogue records

An Introduction to Practical Formal Methods Using Temporal Logic Michael Fisher 2011 Computational Logic in Multi-Agent Systems Michael Fisher 2009