First-Order Future Interval Logic

• Authors:

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

• Affiliations:

• -;-;-;-;-

• Venue:
• ICTL '94 Proceedings of the First International Conference on Temporal Logic
• Year:
• 1994