Login / Signup
A temporal logic view of paradigm models.
Juan Carlos Augusto
Rodolfo Gómez
Published in:
SEKE (2002)
Keyphrases
</>
temporal logic
model checking
reactive systems
knowledge based systems
logical formulas
concurrent systems
satisfiability problem
verification method