Two methods for checking formulas of temporal logic

• Authors:

• Hugh Wingfield McGuire

• Affiliations:

• Stanford Univ., Stanford, CA

• Venue:
• Two methods for checking formulas of temporal logic
• Year:
• 1995