An Automata-Theoretic Decision Procedure for Future Interval Logic

• Authors:

• Y. S. Ramakrishna;Laura K. Dillon;Louise E. Moser;P. M. Melliar-Smith;G. Kutty

• Affiliations:

• -;-;-;-;-

• Venue:
• Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science
• Year:
• 1992