Login / Signup

Interleaving Set Temporal Logic.

Shmuel KatzDoron A. Peled
Published in: Theor. Comput. Sci. (1990)
Keyphrases
  • temporal logic
  • model checking
  • transition systems
  • data model
  • temporal knowledge