Login / Signup

A temporal logic view of paradigm models.

Juan Carlos AugustoRodolfo Gómez
Published in: SEKE (2002)
Keyphrases
  • temporal logic
  • model checking
  • reactive systems
  • knowledge based systems
  • logical formulas
  • concurrent systems
  • satisfiability problem
  • verification method