A combination of interval logic and linear temporal logic

• Authors:

• Z. Qiu;C. Zhou

• Affiliations:

• -;-

• Venue:
• PROCOMET '98 Proceedings of the IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods
• Year:
• 1998