Login / Signup

Interleaving Set Temporal Logic.

Shmuel KatzDoron A. Peled
Published in: Temporal Logic in Specification (1987)
Keyphrases
  • temporal logic
  • model checking
  • qualitative and quantitative