Login / Signup

Towards the Minimum Set of Primitive Relations in Temporal Logic.

M. ZhuNan K. LohPepe Siy
Published in: Inf. Process. Lett. (1987)
Keyphrases
  • temporal logic
  • model checking
  • modal logic
  • relational databases
  • reactive systems
  • automata theoretic