Login / Signup
Fluent temporal logic for discrete-time event-based models.
Emmanuel Letier
Jeff Kramer
Jeff Magee
Sebastián Uchitel
Published in:
ESEC/SIGSOFT FSE (2005)
Keyphrases
</>
temporal logic
model checking
reactive systems
modal logic
satisfiability problem
automata theoretic