On the application of temporal logic to the verification of real-time programs

• Authors:

• Paul Karl Harter, Jr.

• Affiliations:

• -

• Venue:
• On the application of temporal logic to the verification of real-time programs
• Year:
• 1982