Login / Signup
A Framework for the GAT Temporal Logic.
Jean-Claude Royer
Published in:
IASSE (2004)
Keyphrases
</>
temporal logic
model checking
modal logic
satisfiability problem
artificial intelligence