Verification of reactive systems and decision problems in temporal logic

• Authors:

• Salvatore La Torre;Rajeev Alur

• Affiliations:

• -;-

• Venue:
• Verification of reactive systems and decision problems in temporal logic
• Year:
• 2001