Login / Signup

Reasoning about Timeouts.

Ian J. Hayes
Published in: MPC (2002)
Keyphrases
  • formal theory
  • qualitative reasoning
  • spatial reasoning
  • database
  • practical reasoning