Michael Fisher

Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science)

Michael Fisher

$59.78

An Introduction to Practical Formal Methods Using Temporal Logic

Michael Fisher

$140.62

Computational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and ...

Michael Fisher

$59.78

Advances in Temporal Logic

Michael Fisher

$169.99

Foundations and Applications of Multi-Agent Systems: UKMAS Workshop 1996-2000, Selected Papers (Lecture Notes in Computer Science)

Michael Fisher

$60.03