Applications of Temporal Logic to the Specification of Real-time Systems

• Authors:

• Amir Pnueli;Eyal Harel

• Affiliations:

• -;-

• Venue:
• Systems, Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
• Year:
• 1988