Login / Signup

Interleaving Set Temporal Logic (Preliminary Version).

Shmuel KatzDoron A. Peled
Published in: PODC (1987)
Keyphrases
  • temporal logic
  • preliminary version
  • model checking
  • dynamic systems
  • satisfiability problem
  • concurrent systems
  • distributed systems