Michael Fisher

1962

• Handbook of temporal reasoning in artificial intelligence
• Handbook of temporal reasoning in artificial intelligence
• Practical Formal Methods Using Temporal Logic