ISL: An Interval Logic for the Specification of Real-time Programs

• Authors:

• Asis Goswami;Michael Bell;Mathai Joseph

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
• Year:
• 1992