Login / Signup
An automata-theoretic decision procedure for propositional temporal logic with since and until.
Y. S. Ramakrishna
Louise E. Moser
Laura K. Dillon
P. M. Melliar-Smith
George Kutty
Published in:
Fundam. Informaticae (1992)
Keyphrases
</>
temporal logic
automata theoretic
model checking
modal logic
satisfiability problem
verification method
first order logic
belief revision
regular path queries
linear temporal logic
database
data model
pattern matching