Login / Signup
An Automata-Theoretic Decision Procedure for Future Interval Logic.
Y. S. Ramakrishna
Laura K. Dillon
Louise E. Moser
P. M. Melliar-Smith
George Kutty
Published in:
FSTTCS (1992)
Keyphrases
</>
automata theoretic
temporal logic
regular path queries
modal logic
model checking
np complete